The font of my modelsim is too small to see - linux

Question

As you can see, the font of modelsim's text editor is very small. But I can't change the size in Tools->Edit Preferences->Source Window->Fonts.
However, I can make the letters bigger by set the DPI higher(through System Settings->Fonts) or set the resolution of the screen to a appropriate value, such as 1024X720, while 1366x768 is the actual resolution of my screen. These ways are not comfortable, because everything else look strange.My OS is Fedora 22, and the version of my Modelsim is 10.3d.
I want to get a more comfortable way to the font-size problem of Modelsim, I'll appreciate it!

Answer 1

I ran into this too in Ubuntu 16.04 LTS with modelsim 10.5 ASE. I fixed it as follows:
Open ~/.modelsim (use "nano ~/.modelsim" in terminal)
Find: PrefDefault = ... textFontV2 {Verdana 12} (the name of the font may differ)
Change 12 to -12, so it will looks like this: textFontV2 {Verdana -12}
Save ~/.modelsim (Ctrl+O and then Enter)
Reopen modelsim

Answer 2

I ran into this too in Xubuntu, just use Ctrl++ or Ctrl+- to enlarge or shrink the text dynamically.

Answer 3

Tools->Edit preferences->source windows-> textFont

Answer 4

I am using CentOS Linux, Questa Sim-64 10.1a and had the same problem. I fixed it as follows :
Select "Tools" option from the toolbar at the top.
From the drop down menu select "Edit Preferences ..."
On the lower left pane, there are various Font types like fixedFont, footerFont, textFont etc. To change the size of textFont, select it and you get the choice of font type and size.
Choose what you are most comfortable with.
menuFont is used for command prompt and treeFont is used to display the folder structure.

Answer 5

On Xubuntu/XFCE4: Going to Settings⟶Appereance⟶Fonts and disabling the "Custom DPI setting" checkbox solved the problem for me.
The strange thing is that xdpyinfo says the screen resolution is 96x96 dpi regardless of the checkbox. Leaving the checkbox on and setting something like 200 dpi scales the Modelsim editor font, but also all other fonts on the screen, so that doesn't help. I didn't dig any further towards the root cause.