search

jung6717 / arduino

Automatically exported from code.google.com/p/arduino
0 stars 0 forks source link

Editor Font Selection Capability #232

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
I would like to be able to set the font for the editor on arduino ubuntu
linux. i've tried changing theme.txt and preferences.txt and nothing works.
how about a simple couple of drop down menus in the preference dialog for
font and size. added plus would be anti-aliasing of fonts but not a show
stopper.

Why? because i consider it unusable the way it is now. i can barely read it.

Would this cause any incompatibilities with previous versions?  should not
cause any incompatibility issues.

Thanks
Jeff O'Brien

Original issue reported on code.google.com by jkob...@gmail.com on 22 Apr 2010 at 1:39

GoogleCodeExporter commented 8 years ago 
I would love to see this as well. To be honest, almost any Java-based 
application looks like complete garbage on Linux anyway.

Original comment by kmark937 on 10 Jul 2011 at 5:10

GoogleCodeExporter commented 8 years ago 
I changed the line "editor.antialias" to true and now it looks better.

Original comment by searetseltev on 8 Mar 2012 at 4:54

GoogleCodeExporter commented 8 years ago 
[deleted comment]
GoogleCodeExporter commented 8 years ago 
https://github.com/arduino/Arduino/issues/232#issuecomment-109884143

Original comment by federico...@gmail.com on 8 Jun 2015 at 6:59