Is there possible to store in prefs the font size?

Working on new editor enhancements?
Post Reply
User avatar
Psychophanta
Always Here
Always Here
Posts: 5153
Joined: Wed Jun 11, 2003 9:33 pm
Location: Anare
Contact:
Contact Psychophanta

Is there possible to store in prefs the font size?

Post by Psychophanta »

Is there possible to store in prefs the font size?
http://www.zeitgeistmovie.com

while (world==business) world+=mafia;
Top
Fred
Administrator
Administrator
Posts: 18220
Joined: Fri May 17, 2002 4:39 pm
Location: France
Contact:
Contact Fred

Re: Is there possible to store in prefs the font size?

Post by Fred »

Could you be more clear ? It already stores the editor font size.
Top
User avatar
StarBootics
Addict
Addict
Posts: 1006
Joined: Sun Jul 07, 2013 11:35 am
Location: Canada

Re: Is there possible to store in prefs the font size?

Post by StarBootics »

Hello,

The font size is stored in the IDE preferences file with the keys :

Code: Select all

EditorFontName = JetBrains Mono
EditorFontSize = 14
EditorFontStyle =


In the [Editor] Group.

Best regards
StarBootics
The Stone Age did not end due to a shortage of stones !
Top
User avatar
Psychophanta
Always Here
Always Here
Posts: 5153
Joined: Wed Jun 11, 2003 9:33 pm
Location: Anare
Contact:
Contact Psychophanta

Re: Is there possible to store in prefs the font size?

Post by Psychophanta »

I found it, in the font selector in File->Preferences. Thanks
http://www.zeitgeistmovie.com

while (world==business) world+=mafia;
Top
Post Reply

Return to “The PureBasic Editor”