mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
afc0e0240e
The swing UIManager class detects the correct look and feel settings by
looking inside the `sun.desktop` system property, here's the extract of
the JDK:
String desktop = AccessController.doPrivileged(new GetPropertyAction("sun.desktop"));
Toolkit toolkit = Toolkit.getDefaultToolkit();
if ("gnome".equals(desktop) &&
toolkit instanceof SunToolkit &&
((SunToolkit) toolkit).isNativeGTKAvailable()) {
// May be set on Linux and Solaris boxs.
return "com.sun.java.swing.plaf.gtk.GTKLookAndFeel";
}
Since we want always the GTK look and feel (even if the desktop is not
strictly a GNOME desktop) we force the `sun.desktop` property always to
`gnome`.
|
||
|---|---|---|
| .. | ||
| lib | ||
| src | ||
| .classpath | ||
| .editorconfig | ||
| .gitignore | ||
| .project | ||
| build.xml | ||