Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-02-07 01:54:26 +01:00

History

Cristian Maglie afc0e0240e Override desktop check when setting look and feel on linux

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`.

2018-11-05 11:46:49 +01:00

lib

Update jscc to 2.8.0-arduino2 (aarch64 support)

2018-08-28 17:53:04 +02:00

src

Override desktop check when setting look and feel on linux

2018-11-05 11:46:49 +01:00

.classpath

Update jscc to 2.8.0-arduino2 (aarch64 support)

2018-08-28 17:53:04 +02:00

.editorconfig

Added .editorconfig files http://editorconfig.org/