Hello Community,
i just downloaded the 1.8.8 release for linux.
System: Kubuntu 18.04 64bit
now i cant fix the way to big font-size in the menu as
in the 'arduino' shell script there is a change
in the 1.8.7 it was:
JAVA_OPTIONS=("-DAPP_DIR=$APPDIR" "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel")
now in 1.8.8 it is:
JAVA_OPTIONS=("-DAPP_DIR=$APPDIR")
in 1.8.7 i could remove the "-Dswing.defaultlaf=com.sun.java.swing.plaf.gtk.GTKLookAndFeel" part to fix the font / icon thing.
now its already removed - but the font is not fixed.. so it seems this option is now set at some other place and i don't know how to override it (or with what i have to override it..)
any Ideas?
my guess is that it has to do with this fix:
from the release-notes
* Fixed: on some newer linux distrubitions, NPE when loading GTK look-and-feel without libgtk2 installed
sunny greetings
stefan
today i found a solution!
thanks to user 'probono' @ How to change Arduino IDE menu font size? - #8 by probono - Libraries - Arduino Forum
i post here exactly what i have done (it is base on his concept!):
create a file fontsettings in your 'arduino-1.8.9' folder
with this content:
# define smaller arduino menu-fonts
# based on
# https://forum.arduino.cc/index.php?topic=142277.msg1280176#msg1280176
# to use - add
# export GTK2_RC_FILES=$GTK2_RC_FILES:"/usr/share/themes/Breeze/gtk-2.0/gtkrc:$APPDIR/fontsettings"
# in the `arduino` bash script before the last line with text..
style "verysmall" {
font_name = "Noto Sans 6"
}
class "GtkWidget" style "verysmall"
then edit the file 'arduino-1.8.9/arduino' in your favorite text editor -
and add
export GTK2_RC_FILES=$GTK2_RC_FILES:"/usr/share/themes/Breeze/gtk-2.0/gtkrc:$APPDIR/fontsettings"
before the line
"$JAVA" "${JAVA_OPTIONS[@]}" processing.app.Base "$@"
.
this loads the Breeze theme (the default for Kubuntu 18.10) and then the fontsettings file overwrittes with the settings it contains..
this results in something like this:
# Modification for Style
export GTK2_RC_FILES=$GTK2_RC_FILES:"/usr/share/themes/Breeze/gtk-2.0/gtkrc:$APPDIR/fontsettings"
"$JAVA" "${JAVA_OPTIONS[@]}" processing.app.Base "$@"
save it.
now - if you start your ide with 'arduino-1.8.9/arduino' (or the desktop link to this) it should load with the new font settings.
tweak them so it fits your system and likings..
i have attached a image with the before / after comparison..
