Go Down

Topic: How to change Arduino IDE menu font size? (Read 5 times) previous topic - next topic

probono

Hi all, how can I change the Arduino IDE menu font size? Reason: I have installed a lot of cores and my screen is not large enough to show them all. The respective menu does not scroll down, so I'd like to choose a smaller font for the menus. I did find settings to change just about every other font but not the menu font. I am using Ubuntu.

robtillaart

did you look into   File menu -> preferences  -> preferences.txt

editor.font=Monospaced,plain,12

Be aware you must change this file without any IDE running, as the IDE saves the settings upon close

and backup the file before changing !

add/check also these ...
build.verbose=true
upload.verbose=true
Rob Tillaart

Nederlandse sectie - http://arduino.cc/forum/index.php/board,77.0.html -
(Please do not PM for private consultancy)

probono

Thanks, but editor.font does not affect the menus... the menus are "somehow" coupled to the system font. While this may work on many OSes, the result is a too large font (at least for my taste) in Ubuntu where it fails to match the real system font...

eried


Thanks, but editor.font does not affect the menus... the menus are "somehow" coupled to the system font. While this may work on many OSes, the result is a too large font (at least for my taste) in Ubuntu where it fails to match the real system font...


Come to Windows, we have cookies and scrollable menus ]:D
My website: http://ried.cl

naught101

#4
Jan 14, 2013, 09:23 am Last Edit: Jan 14, 2013, 09:51 am by naught101 Reason: 1
I'd like to know this too. For some reason, my Arduino IDE (1.0.3, downloaded from the website just now) starts up with menu and UI (e.g. preferences window fonts) so small that I can't read them -- see attached.

I'm running kubuntu quantal, with OpenJDK Runtime Environment (IcedTea7 2.3.3) (7u9-2.3.3-0ubuntu1~12.10.1).

Edit: I've also tried IcedTea6 and Oracle Java 7. Same thing.

naught101


eried

My website: http://ried.cl

probono

On Linux, I was able to solve this by creating a file called "fontsettings" with the following content:

Code: [Select]
style "small" {
       font_name = "Sans Condensed 8"
}
class "GtkWidget" style "small"


Now I have to

Code: [Select]
export GTK2_RC_FILES=$GTK2_RC_FILES:./fontsettings

and then launch Arduino. Of course you can integrate the export statement into the Arduino launch script.

16kRAM

I'm running a Debian-based Linux and had the same problem with impossibly small menu text when using the Arduino IDE version 1.0.5

The solution for me was to edit the arduino script (/usr/bin/arduino on my system) to get rid of the GTKLookAndFeel.

From this:

Code: [Select]
java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel processing.app.Base "$@"

To this:

Code: [Select]
#java -Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel processing.app.Base "$@"
java processing.app.Base "$@"


Go Up