Hotfix About on CheerpJ

kovzol · kovzol · commit 6a773a2e03bf · 2025-06-14T19:35:21.000+02:00
diff --git a/src/main/java/wprover/AboutDialog.java b/src/main/java/wprover/AboutDialog.java
@@ -30,7 +30,10 @@ public class AboutDialog extends JPopupMenu implements MouseListener {
     public AboutDialog(GExpert f) {
         gx = f;
 
-        this.setBorder(BorderFactory.createCompoundBorder(new DropShadowBorder(), BorderFactory.createLineBorder(color, 4)));
+        if (!GExpert.isRunningInCheerpJ()) {
+            // FIXME: This does not work properly in CheerpJ.
+            this.setBorder(BorderFactory.createCompoundBorder(new DropShadowBorder(), BorderFactory.createLineBorder(color, 4)));
+        }
         JPanel panel = new JPanel();
         panel.setBackground(color);
         panel.setLayout(new BoxLayout(panel, BoxLayout.Y_AXIS));
