From ae1bbad84fa4e69a2577153df20f92b924119d1a Mon Sep 17 00:00:00 2001 From: Stef Tervelde Date: Mon, 24 Mar 2025 19:34:42 +0100 Subject: [PATCH] Visual fixes for Linux --- app/src/processing/app/platform/LinuxPlatform.java | 5 +++++ app/src/processing/app/ui/Editor.java | 10 ++++------ 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/app/src/processing/app/platform/LinuxPlatform.java b/app/src/processing/app/platform/LinuxPlatform.java index be164d701..3426144ca 100644 --- a/app/src/processing/app/platform/LinuxPlatform.java +++ b/app/src/processing/app/platform/LinuxPlatform.java @@ -31,6 +31,8 @@ import processing.app.Messages; import processing.app.Preferences; import processing.core.PApplet; +import javax.swing.*; + public class LinuxPlatform extends DefaultPlatform { String homeDir; @@ -39,6 +41,9 @@ public class LinuxPlatform extends DefaultPlatform { public void initBase(Base base) { super.initBase(base); + JFrame.setDefaultLookAndFeelDecorated(true); + System.setProperty("flatlaf.menuBarEmbedded", "true"); + // Set X11 WM_CLASS property which is used as the application // name by Gnome 3 and other window managers. // https://github.com/processing/processing/issues/2534 diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java index c3dd0202f..d7bbb05c8 100644 --- a/app/src/processing/app/ui/Editor.java +++ b/app/src/processing/app/ui/Editor.java @@ -618,12 +618,10 @@ public abstract class Editor extends JFrame implements RunnerListener { toolTipWarningColor = Theme.get("errors.selection.warning.bgcolor"); toolTipErrorColor = Theme.get("errors.selection.error.bgcolor"); - if(Platform.isWindows()) { - UIManager.put("RootPane.background", color); - UIManager.put("TitlePane.embeddedForeground", Theme.getColor("editor.fgcolor")); - getRootPane().updateUI(); - UIManager.put("RootPane.background", null); - } + UIManager.put("RootPane.background", color); + UIManager.put("TitlePane.embeddedForeground", Theme.getColor("editor.fgcolor")); + getRootPane().updateUI(); + UIManager.put("RootPane.background", null); JPopupMenu popup = modePopup.getPopupMenu(); // Cannot use instanceof because com.formdev.flatlaf.ui.FlatPopupMenuBorder