Merge pull request #976 from Stefterv/windows-padding-fix

Padding fix for Windows & Linux

Author: Stefterv

app/src/processing/app/ui/Editor.java

@@ -208,7 +208,7 @@ public void windowDeactivated(WindowEvent e) {
     Box box = Box.createVerticalBox();
     Box upper = Box.createVerticalBox();
 
-    if(SystemInfo.isMacFullWindowContentSupported) {
+    if(Platform.isMacOS() && SystemInfo.isMacFullWindowContentSupported) {
       getRootPane().putClientProperty( "apple.awt.fullWindowContent", true );
       getRootPane().putClientProperty( "apple.awt.transparentTitleBar", true );