-Clazz.declarePackage ("jalview.appletgui");\r
-Clazz.load (["awt2swing.Frame", "java.awt.event.MouseListener", "java.awt.Font", "java.util.HashMap"], "jalview.appletgui.EmbmenuFrame", ["awt2swing.Label", "$.Panel", "$.PopupMenu", "jalview.util.Platform", "java.awt.Color", "$.FlowLayout"], function () {\r
-c$ = Clazz.decorateAsClass (function () {\r
-this.embeddedPopup = null;\r
-this.embeddedMenu = null;\r
-Clazz.instantialize (this, arguments);\r
-}, jalview.appletgui, "EmbmenuFrame", awt2swing.Frame, java.awt.event.MouseListener);\r
-Clazz.prepareFields (c$, function () {\r
-this.embeddedPopup = new java.util.HashMap ();\r
-});\r
-Clazz.defineMethod (c$, "embedMenuIfNeeded", \r
-function (tobeAdjusted) {\r
-var topMenuBar = this.getJMenuBar ();\r
-if (topMenuBar == null) {\r
-return false;\r
-}if (jalview.util.Platform.isAMac ()) {\r
-this.embeddedMenu = this.makeEmbeddedPopupMenu (topMenuBar, true, false);\r
-this.unsetMenuBar ();\r
-this.add (this.embeddedMenu, "North");\r
-tobeAdjusted.setSize (this.getSize ().width, this.getSize ().height - this.embeddedMenu.getHeight ());\r
-return true;\r
-}return false;\r
-}, "awt2swing.Panel");\r
-Clazz.defineMethod (c$, "makeEmbeddedPopupMenu", \r
-function (menuBar, overrideFonts, append) {\r
-if (!append) {\r
-this.embeddedPopup.clear ();\r
-if (this.embeddedMenu != null) {\r
-this.embeddedMenu.removeAll ();\r
-}}this.embeddedMenu = this.makeEmbeddedPopupMenu (menuBar, jalview.appletgui.EmbmenuFrame.DEFAULT_MENU_FONT, overrideFonts, new awt2swing.Panel (), this);\r
-return this.embeddedMenu;\r
-}, "awt2swing.MenuBar,~B,~B");\r
-Clazz.defineMethod (c$, "makeEmbeddedPopupMenu", \r
-function (menuBar, font, overrideFonts, embeddedMenu, clickHandler) {\r
-if (overrideFonts) {\r
-var mbf = menuBar.getFont ();\r
-if (mbf != null) {\r
-font = mbf;\r
-}}if (embeddedMenu == null) {\r
-embeddedMenu = new awt2swing.Panel ();\r
-}var flowLayout1 = new java.awt.FlowLayout ();\r
-embeddedMenu.setBackground (java.awt.Color.lightGray);\r
-embeddedMenu.setLayout (flowLayout1);\r
-for (var mbi = 0, nMbi = menuBar.getMenuCount (); mbi < nMbi; mbi++) {\r
-var mi = menuBar.getMenu (mbi);\r
-var elab = new awt2swing.Label (mi.getLabel ());\r
-elab.setFont (font);\r
-var popup = new awt2swing.PopupMenu ();\r
-var m;\r
-var mSize = mi.getItemCount ();\r
-for (m = 0; m < mSize; m++) {\r
-if (mi.getItem (m) == null) popup.addSeparator ();\r
- else popup.add (mi.getItem (m));\r
-mSize--;\r
-m--;\r
-}\r
-this.embeddedPopup.put (elab, popup);\r
-embeddedMenu.add (elab);\r
-elab.addMouseListener (clickHandler);\r
-}\r
-flowLayout1.setAlignment (0);\r
-flowLayout1.setHgap (2);\r
-flowLayout1.setVgap (0);\r
-return embeddedMenu;\r
-}, "awt2swing.MenuBar,java.awt.Font,~B,awt2swing.Panel,java.awt.event.MouseListener");\r
-Clazz.overrideMethod (c$, "mousePressed", \r
-function (evt) {\r
-var popup = null;\r
-var source = evt.getSource ();\r
-popup = this.getPopupMenu (source);\r
-if (popup != null) {\r
-this.embeddedMenu.add (popup);\r
-popup.show (this.embeddedMenu, source.getBounds ().x, source.getBounds ().y + source.getBounds ().getSize ().height);\r
-}}, "java.awt.event.MouseEvent");\r
-Clazz.defineMethod (c$, "getPopupMenu", \r
-function (source) {\r
-return this.embeddedPopup.get (source);\r
-}, "awt2swing.Label");\r
-Clazz.overrideMethod (c$, "mouseClicked", \r
-function (evt) {\r
-}, "java.awt.event.MouseEvent");\r
-Clazz.overrideMethod (c$, "mouseReleased", \r
-function (evt) {\r
-}, "java.awt.event.MouseEvent");\r
-Clazz.overrideMethod (c$, "mouseEntered", \r
-function (evt) {\r
-}, "java.awt.event.MouseEvent");\r
-Clazz.overrideMethod (c$, "mouseExited", \r
-function (evt) {\r
-}, "java.awt.event.MouseEvent");\r
-Clazz.defineMethod (c$, "destroyMenus", \r
-function () {\r
-if (this.embeddedPopup != null) {\r
-for (var lb, $lb = this.embeddedPopup.keySet ().iterator (); $lb.hasNext () && ((lb = $lb.next ()) || true);) {\r
-lb.removeMouseListener (this);\r
-}\r
-this.embeddedPopup.clear ();\r
-}if (this.embeddedMenu != null) {\r
-this.embeddedMenu.removeAll ();\r
-}});\r
-Clazz.defineMethod (c$, "finalize", \r
-function () {\r
-this.destroyMenus ();\r
-this.embeddedPopup = null;\r
-this.embeddedMenu = null;\r
-Clazz.superCall (this, jalview.appletgui.EmbmenuFrame, "finalize", []);\r
-});\r
-c$.FONT_ARIAL_PLAIN_11 = c$.prototype.FONT_ARIAL_PLAIN_11 = new java.awt.Font ("Arial", 0, 11);\r
-c$.DEFAULT_MENU_FONT = c$.prototype.DEFAULT_MENU_FONT = jalview.appletgui.EmbmenuFrame.FONT_ARIAL_PLAIN_11;\r
-});\r
+Clazz.declarePackage ("jalview.appletgui");
+Clazz.load (["awt2swing.Frame", "java.awt.event.MouseListener", "java.awt.Font", "java.util.HashMap"], "jalview.appletgui.EmbmenuFrame", ["awt2swing.Label", "$.Panel", "$.PopupMenu", "jalview.util.Platform", "java.awt.Color", "$.FlowLayout"], function () {
+c$ = Clazz.decorateAsClass (function () {
+this.embeddedPopup = null;
+this.embeddedMenu = null;
+Clazz.instantialize (this, arguments);
+}, jalview.appletgui, "EmbmenuFrame", awt2swing.Frame, java.awt.event.MouseListener);
+Clazz.prepareFields (c$, function () {
+this.embeddedPopup = new java.util.HashMap ();
+});
+Clazz.defineMethod (c$, "embedMenuIfNeeded",
+function (tobeAdjusted) {
+var topMenuBar = this.getJMenuBar ();
+if (topMenuBar == null) {
+return false;
+}if (jalview.util.Platform.isAMac ()) {
+this.embeddedMenu = this.makeEmbeddedPopupMenu (topMenuBar, true, false);
+this.unsetMenuBar ();
+this.add (this.embeddedMenu, "North");
+tobeAdjusted.setSize (this.getSize ().width, this.getSize ().height - this.embeddedMenu.getHeight ());
+return true;
+}return false;
+}, "awt2swing.Panel");
+Clazz.defineMethod (c$, "makeEmbeddedPopupMenu",
+function (menuBar, overrideFonts, append) {
+if (!append) {
+this.embeddedPopup.clear ();
+if (this.embeddedMenu != null) {
+this.embeddedMenu.removeAll ();
+}}this.embeddedMenu = this.makeEmbeddedPopupMenu (menuBar, jalview.appletgui.EmbmenuFrame.DEFAULT_MENU_FONT, overrideFonts, new awt2swing.Panel (), this);
+return this.embeddedMenu;
+}, "awt2swing.MenuBar,~B,~B");
+Clazz.defineMethod (c$, "makeEmbeddedPopupMenu",
+function (menuBar, font, overrideFonts, embeddedMenu, clickHandler) {
+if (overrideFonts) {
+var mbf = menuBar.getFont ();
+if (mbf != null) {
+font = mbf;
+}}if (embeddedMenu == null) {
+embeddedMenu = new awt2swing.Panel ();
+}var flowLayout1 = new java.awt.FlowLayout ();
+embeddedMenu.setBackground (java.awt.Color.lightGray);
+embeddedMenu.setLayout (flowLayout1);
+for (var mbi = 0, nMbi = menuBar.getMenuCount (); mbi < nMbi; mbi++) {
+var mi = menuBar.getMenu (mbi);
+var elab = new awt2swing.Label (mi.getLabel ());
+elab.setFont (font);
+var popup = new awt2swing.PopupMenu ();
+var m;
+var mSize = mi.getItemCount ();
+for (m = 0; m < mSize; m++) {
+if (mi.getItem (m) == null) popup.addSeparator ();
+ else popup.add (mi.getItem (m));
+mSize--;
+m--;
+}
+this.embeddedPopup.put (elab, popup);
+embeddedMenu.add (elab);
+elab.addMouseListener (clickHandler);
+}
+flowLayout1.setAlignment (0);
+flowLayout1.setHgap (2);
+flowLayout1.setVgap (0);
+return embeddedMenu;
+}, "awt2swing.MenuBar,java.awt.Font,~B,awt2swing.Panel,java.awt.event.MouseListener");
+Clazz.overrideMethod (c$, "mousePressed",
+function (evt) {
+var popup = null;
+var source = evt.getSource ();
+popup = this.getPopupMenu (source);
+if (popup != null) {
+this.embeddedMenu.add (popup);
+popup.show (this.embeddedMenu, source.getBounds ().x, source.getBounds ().y + source.getBounds ().getSize ().height);
+}}, "java.awt.event.MouseEvent");
+Clazz.defineMethod (c$, "getPopupMenu",
+function (source) {
+return this.embeddedPopup.get (source);
+}, "awt2swing.Label");
+Clazz.overrideMethod (c$, "mouseClicked",
+function (evt) {
+}, "java.awt.event.MouseEvent");
+Clazz.overrideMethod (c$, "mouseReleased",
+function (evt) {
+}, "java.awt.event.MouseEvent");
+Clazz.overrideMethod (c$, "mouseEntered",
+function (evt) {
+}, "java.awt.event.MouseEvent");
+Clazz.overrideMethod (c$, "mouseExited",
+function (evt) {
+}, "java.awt.event.MouseEvent");
+Clazz.defineMethod (c$, "destroyMenus",
+function () {
+if (this.embeddedPopup != null) {
+for (var lb, $lb = this.embeddedPopup.keySet ().iterator (); $lb.hasNext () && ((lb = $lb.next ()) || true);) {
+lb.removeMouseListener (this);
+}
+this.embeddedPopup.clear ();
+}if (this.embeddedMenu != null) {
+this.embeddedMenu.removeAll ();
+}});
+Clazz.defineMethod (c$, "finalize",
+function () {
+this.destroyMenus ();
+this.embeddedPopup = null;
+this.embeddedMenu = null;
+Clazz.superCall (this, jalview.appletgui.EmbmenuFrame, "finalize", []);
+});
+c$.FONT_ARIAL_PLAIN_11 = c$.prototype.FONT_ARIAL_PLAIN_11 = new java.awt.Font ("Arial", 0, 11);
+c$.DEFAULT_MENU_FONT = c$.prototype.DEFAULT_MENU_FONT = jalview.appletgui.EmbmenuFrame.FONT_ARIAL_PLAIN_11;
+});
git://source.jalview.org / jalviewjs.git / blobdiff