There are actually 2 font options: one for the editor (IDE Options | Editor | Colors&Fonts) and one for the rest of UI (IDE Options | Appearance).
Best regards, Valentin Kipiatkov ----------------------------------------------------------- IntelliJ Software, http://www.intellij.com/ "Develop with pleasure" ----------------------------------------------------------- ----- Original Message ----- From: "Vincent Massol" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Sunday, December 23, 2001 11:19 AM Subject: RE: [Eap-list] Windows and font DPI > I have not changed explicitely the font size because everything is > small, not only fonts, thus I had to change the DPI. However, I have > just tried your solution and it doesn't change anything. Text in IDEA is > still as small as before, only the window title bar is bigger ... > > I'm surprised no other person have this issue as it seems very common > for laptop users. All the new laptops have big screens and the only > resolution that is not blurred is a big resolution (like 1600x1200) but > then fonts are small so you have to increase the DPI ... but then IDEA > (and other java applications I guess - I have only tried another one - > jedit - which behaves the same) is not usable ... :( > > Thanks > -Vincent > > > -----Original Message----- > > From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] > On > > Behalf Of Glen Stampoultzis > > Sent: 22 December 2001 13:30 > > To: [EMAIL PROTECTED] > > Subject: Re: [Eap-list] Windows and font DPI > > > > Why not go into the options and just change your font sizes? > > > > -- Glen > > > > ----- Original Message ----- > > From: "Vincent Massol" <[EMAIL PROTECTED]> > > To: <[EMAIL PROTECTED]> > > Sent: Saturday, December 22, 2001 11:02 PM > > Subject: [Eap-list] Windows and font DPI > > > > > > > Hi, > > > > > > I am using a resolution of 1600x1200 on my laptop and of course the > > > fonts are very very small when left with default 96DPI mode. So I > > > changed them to 144DPI, which works fine for all applications ... > except > > > IDEA (and other java applications). Thus, it seems to be either a > > > problem generic to java or that the java GUI do not care about font > DPI > > > ? > > > > > > Is there anything I could do ? Is there a Java API that GUI > programmer > > > could take advantage of to correct this problem ? > > > > > > Thanks > > > -Vincent > > > > > > > > > > > > > > > _______________________________________________ > > > Eap-list mailing list > > > [EMAIL PROTECTED] > > > http://www.intellij.com/mailman/listinfo/eap-list > > > > > > _______________________________________________ > > Eap-list mailing list > > [EMAIL PROTECTED] > > http://www.intellij.com/mailman/listinfo/eap-list > > > > > _______________________________________________ > Eap-list mailing list > [EMAIL PROTECTED] > http://www.intellij.com/mailman/listinfo/eap-list _______________________________________________ Eap-list mailing list [EMAIL PROTECTED] http://www.intellij.com/mailman/listinfo/eap-list
