X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fappletgui%2FEmbmenuFrame.java;h=8b2b279e48c306414b5720078811f971a32a4c63;hb=051cab343aed415a342a787e10ebd075f05243f6;hp=7b489eab0b12e67a4c0bbac048fb366990a1f943;hpb=f3fa435d421eb9f071a526f802801c4a21ee2dc4;p=jalview.git diff --git a/src/jalview/appletgui/EmbmenuFrame.java b/src/jalview/appletgui/EmbmenuFrame.java index 7b489ea..8b2b279 100644 --- a/src/jalview/appletgui/EmbmenuFrame.java +++ b/src/jalview/appletgui/EmbmenuFrame.java @@ -20,6 +20,8 @@ */ package jalview.appletgui; +import jalview.util.Platform; + import java.awt.BorderLayout; import java.awt.Color; import java.awt.FlowLayout; @@ -96,7 +98,7 @@ public class EmbmenuFrame extends Frame return false; } // DEBUG Hint: can test embedded menus by inserting true here. - if (new jalview.util.Platform().isAMac()) + if (Platform.isAMacAndNotJS()) { // Build the embedded menu panel, allowing override with system font embeddedMenu = makeEmbeddedPopupMenu(topMenuBar, true, false); @@ -274,7 +276,5 @@ public class EmbmenuFrame extends Frame destroyMenus(); embeddedPopup = null; embeddedMenu = null; - // no close for Frame - // super.finalize(); } }