Page 1 of 1

Editor Font

Posted: Wed Oct 07, 2015 9:32 am
by Daf57
Quick question please. I went to change the font in the options for the editor - seems I have only a handful of fonts to choose from. None of which are the ones I was going to use. I wanted to use either Arial or Verdana, both of which are installed on my system and used in other editors. Are the editor fonts limited or do I have another setting preventing the full list of system fonts?

Thanks!

Re: Editor Font

Posted: Fri Oct 09, 2015 3:22 am
by Daf57
Is TopStyle is being supported? :?

Re: Editor Font

Posted: Fri Oct 09, 2015 9:02 am
by Albert Wiersch
Just posted today: viewtopic.php?f=15&t=2399

Re: Editor Font

Posted: Fri Oct 09, 2015 10:16 am
by Daf57
What a waste. :? Maybe it will be released for open source development.

Re: Editor Font

Posted: Thu Mar 17, 2016 11:35 pm
by gwmbox
I use Bitstream :) Simply select any installed font in the settings under Editor