-Clazz.declarePackage ("javax.swing");\r
-Clazz.load (["java.util.Vector", "javax.swing.event.EventListenerList"], "javax.swing.MenuSelectionManager", ["java.awt.event.MouseEvent", "javax.swing.JComponent", "$.SwingUtilities", "javax.swing.event.ChangeEvent", "$.ChangeListener", "jssun.awt.AppContext"], function () {\r
-c$ = Clazz.decorateAsClass (function () {\r
-this.selection = null;\r
-this.changeEvent = null;\r
-this.listenerList = null;\r
-Clazz.instantialize (this, arguments);\r
-}, javax.swing, "MenuSelectionManager");\r
-Clazz.prepareFields (c$, function () {\r
-this.selection = new java.util.Vector ();\r
-this.listenerList = new javax.swing.event.EventListenerList ();\r
-});\r
-c$.defaultManager = Clazz.defineMethod (c$, "defaultManager", \r
-function () {\r
-{\r
-var context = jssun.awt.AppContext.getAppContext ();\r
-var msm = context.get (javax.swing.MenuSelectionManager.MENU_SELECTION_MANAGER_KEY);\r
-if (msm == null) {\r
-msm = new javax.swing.MenuSelectionManager ();\r
-context.put (javax.swing.MenuSelectionManager.MENU_SELECTION_MANAGER_KEY, msm);\r
-}return msm;\r
-}});\r
-Clazz.defineMethod (c$, "setSelectedPath", \r
-function (path) {\r
-var i;\r
-var c;\r
-var currentSelectionCount = this.selection.size ();\r
-var firstDifference = 0;\r
-if (path == null) {\r
-path = new Array (0);\r
-}for (i = 0, c = path.length; i < c; i++) {\r
-if (i < currentSelectionCount && this.selection.elementAt (i) === path[i]) firstDifference++;\r
- else break;\r
-}\r
-for (i = currentSelectionCount - 1; i >= firstDifference; i--) {\r
-var me = this.selection.elementAt (i);\r
-this.selection.removeElementAt (i);\r
-me.menuSelectionChanged (false);\r
-}\r
-for (i = firstDifference, c = path.length; i < c; i++) {\r
-if (path[i] != null) {\r
-this.selection.addElement (path[i]);\r
-path[i].menuSelectionChanged (true);\r
-}}\r
-this.fireStateChanged ();\r
-}, "~A");\r
-Clazz.defineMethod (c$, "getSelectedPath", \r
-function () {\r
-var res = new Array (this.selection.size ());\r
-var i;\r
-var c;\r
-for (i = 0, c = this.selection.size (); i < c; i++) res[i] = this.selection.elementAt (i);\r
-\r
-return res;\r
-});\r
-Clazz.defineMethod (c$, "clearSelectedPath", \r
-function () {\r
-if (this.selection.size () > 0) {\r
-this.setSelectedPath (null);\r
-}});\r
-Clazz.defineMethod (c$, "addChangeListener", \r
-function (l) {\r
-this.listenerList.add (javax.swing.event.ChangeListener, l);\r
-}, "javax.swing.event.ChangeListener");\r
-Clazz.defineMethod (c$, "removeChangeListener", \r
-function (l) {\r
-this.listenerList.remove (javax.swing.event.ChangeListener, l);\r
-}, "javax.swing.event.ChangeListener");\r
-Clazz.defineMethod (c$, "getChangeListeners", \r
-function () {\r
-return this.listenerList.getListeners (javax.swing.event.ChangeListener);\r
-});\r
-Clazz.defineMethod (c$, "fireStateChanged", \r
-function () {\r
-var listeners = this.listenerList.getListenerList ();\r
-for (var i = listeners.length - 2; i >= 0; i -= 2) {\r
-if (listeners[i] === javax.swing.event.ChangeListener) {\r
-if (this.changeEvent == null) this.changeEvent = new javax.swing.event.ChangeEvent (this);\r
-(listeners[i + 1]).stateChanged (this.changeEvent);\r
-}}\r
-});\r
-Clazz.defineMethod (c$, "processMouseEvent", \r
-function (event) {\r
-var screenX;\r
-var screenY;\r
-var p;\r
-var i;\r
-var j;\r
-var d;\r
-var mc;\r
-var r2;\r
-var cWidth;\r
-var cHeight;\r
-var menuElement;\r
-var subElements;\r
-var path;\r
-var tmp;\r
-var selectionSize;\r
-p = event.getPoint ();\r
-var source = event.getSource ();\r
-if (!source.isShowing ()) {\r
-return;\r
-}var type = event.getID ();\r
-var modifiers = event.getModifiers ();\r
-if ((type == 504 || type == 505) && ((modifiers & (28)) != 0)) {\r
-return;\r
-}javax.swing.SwingUtilities.convertPointToScreen (p, source);\r
-screenX = p.x;\r
-screenY = p.y;\r
-tmp = this.selection.clone ();\r
-selectionSize = tmp.size ();\r
-var success = false;\r
-for (i = selectionSize - 1; i >= 0 && success == false; i--) {\r
-menuElement = tmp.elementAt (i);\r
-subElements = menuElement.getSubElements ();\r
-path = null;\r
-for (j = 0, d = subElements.length; j < d && success == false; j++) {\r
-if (subElements[j] == null) continue;\r
-mc = subElements[j].getComponent ();\r
-if (!mc.isShowing ()) continue;\r
-if (Clazz.instanceOf (mc, javax.swing.JComponent)) {\r
-cWidth = (mc).getWidth ();\r
-cHeight = (mc).getHeight ();\r
-} else {\r
-r2 = mc.getBounds ();\r
-cWidth = r2.width;\r
-cHeight = r2.height;\r
-}p.x = screenX;\r
-p.y = screenY;\r
-javax.swing.SwingUtilities.convertPointFromScreen (p, mc);\r
-if ((p.x >= 0 && p.x < cWidth && p.y >= 0 && p.y < cHeight)) {\r
-var k;\r
-if (path == null) {\r
-path = new Array (i + 2);\r
-for (k = 0; k <= i; k++) path[k] = tmp.elementAt (k);\r
-\r
-}path[i + 1] = subElements[j];\r
-var currentSelection = this.getSelectedPath ();\r
-if (currentSelection[currentSelection.length - 1] !== path[i + 1] && (currentSelection.length < 2 || currentSelection[currentSelection.length - 2] !== path[i + 1])) {\r
-var oldMC = currentSelection[currentSelection.length - 1].getComponent ();\r
-var exitEvent = new java.awt.event.MouseEvent (oldMC, 505, event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);\r
-currentSelection[currentSelection.length - 1].processMouseEvent (exitEvent, path, this);\r
-var enterEvent = new java.awt.event.MouseEvent (mc, 504, event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);\r
-subElements[j].processMouseEvent (enterEvent, path, this);\r
-}var mouseEvent = new java.awt.event.MouseEvent (mc, event.getID (), event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);\r
-subElements[j].processMouseEvent (mouseEvent, path, this);\r
-success = true;\r
-event.consume ();\r
-}}\r
-}\r
-}, "java.awt.event.MouseEvent");\r
-Clazz.defineMethod (c$, "componentForPoint", \r
-function (source, sourcePoint) {\r
-var screenX;\r
-var screenY;\r
-var p = sourcePoint;\r
-var i;\r
-var j;\r
-var d;\r
-var mc;\r
-var r2;\r
-var cWidth;\r
-var cHeight;\r
-var menuElement;\r
-var subElements;\r
-var tmp;\r
-var selectionSize;\r
-javax.swing.SwingUtilities.convertPointToScreen (p, source);\r
-screenX = p.x;\r
-screenY = p.y;\r
-tmp = this.selection.clone ();\r
-selectionSize = tmp.size ();\r
-for (i = selectionSize - 1; i >= 0; i--) {\r
-menuElement = tmp.elementAt (i);\r
-subElements = menuElement.getSubElements ();\r
-for (j = 0, d = subElements.length; j < d; j++) {\r
-if (subElements[j] == null) continue;\r
-mc = subElements[j].getComponent ();\r
-if (!mc.isShowing ()) continue;\r
-if (Clazz.instanceOf (mc, javax.swing.JComponent)) {\r
-cWidth = (mc).getWidth ();\r
-cHeight = (mc).getHeight ();\r
-} else {\r
-r2 = mc.getBounds ();\r
-cWidth = r2.width;\r
-cHeight = r2.height;\r
-}p.x = screenX;\r
-p.y = screenY;\r
-javax.swing.SwingUtilities.convertPointFromScreen (p, mc);\r
-if (p.x >= 0 && p.x < cWidth && p.y >= 0 && p.y < cHeight) {\r
-return mc;\r
-}}\r
-}\r
-return null;\r
-}, "java.awt.Component,java.awt.Point");\r
-Clazz.defineMethod (c$, "processKeyEvent", \r
-function (e) {\r
-var sel2 = new Array (0);\r
-sel2 = this.selection.toArray (sel2);\r
-var selSize = sel2.length;\r
-var path;\r
-if (selSize < 1) {\r
-return;\r
-}for (var i = selSize - 1; i >= 0; i--) {\r
-var elem = sel2[i];\r
-var subs = elem.getSubElements ();\r
-path = null;\r
-for (var j = 0; j < subs.length; j++) {\r
-if (subs[j] == null || !subs[j].getComponent ().isShowing () || !subs[j].getComponent ().isEnabled ()) {\r
-continue;\r
-}if (path == null) {\r
-path = new Array (i + 2);\r
-System.arraycopy (sel2, 0, path, 0, i + 1);\r
-}path[i + 1] = subs[j];\r
-subs[j].processKeyEvent (e, path, this);\r
-if (e.isConsumed ()) {\r
-return;\r
-}}\r
-}\r
-path = new Array (1);\r
-path[0] = sel2[0];\r
-path[0].processKeyEvent (e, path, this);\r
-if (e.isConsumed ()) {\r
-return;\r
-}}, "java.awt.event.KeyEvent");\r
-Clazz.defineMethod (c$, "isComponentPartOfCurrentMenu", \r
-function (c) {\r
-if (this.selection.size () > 0) {\r
-var me = this.selection.elementAt (0);\r
-return this.isComponentPartOfCurrentMenu (me, c);\r
-} else return false;\r
-}, "java.awt.Component");\r
-Clazz.defineMethod (c$, "isComponentPartOfCurrentMenu", \r
- function (root, c) {\r
-var children;\r
-var i;\r
-var d;\r
-if (root == null) return false;\r
-if (root.getComponent () === c) return true;\r
- else {\r
-children = root.getSubElements ();\r
-for (i = 0, d = children.length; i < d; i++) {\r
-if (this.isComponentPartOfCurrentMenu (children[i], c)) return true;\r
-}\r
-}return false;\r
-}, "javax.swing.MenuElement,java.awt.Component");\r
-c$.MENU_SELECTION_MANAGER_KEY = c$.prototype.MENU_SELECTION_MANAGER_KEY = new Clazz._O ();\r
-});\r
+Clazz.declarePackage ("javax.swing");
+Clazz.load (["java.util.Vector", "javax.swing.event.EventListenerList"], "javax.swing.MenuSelectionManager", ["java.awt.event.MouseEvent", "javax.swing.JComponent", "$.SwingUtilities", "javax.swing.event.ChangeEvent", "$.ChangeListener", "jssun.awt.AppContext"], function () {
+c$ = Clazz.decorateAsClass (function () {
+this.selection = null;
+this.changeEvent = null;
+this.listenerList = null;
+Clazz.instantialize (this, arguments);
+}, javax.swing, "MenuSelectionManager");
+Clazz.prepareFields (c$, function () {
+this.selection = new java.util.Vector ();
+this.listenerList = new javax.swing.event.EventListenerList ();
+});
+c$.defaultManager = Clazz.defineMethod (c$, "defaultManager",
+function () {
+{
+var context = jssun.awt.AppContext.getAppContext ();
+var msm = context.get (javax.swing.MenuSelectionManager.MENU_SELECTION_MANAGER_KEY);
+if (msm == null) {
+msm = new javax.swing.MenuSelectionManager ();
+context.put (javax.swing.MenuSelectionManager.MENU_SELECTION_MANAGER_KEY, msm);
+}return msm;
+}});
+Clazz.defineMethod (c$, "setSelectedPath",
+function (path) {
+var i;
+var c;
+var currentSelectionCount = this.selection.size ();
+var firstDifference = 0;
+if (path == null) {
+path = new Array (0);
+}for (i = 0, c = path.length; i < c; i++) {
+if (i < currentSelectionCount && this.selection.elementAt (i) === path[i]) firstDifference++;
+ else break;
+}
+for (i = currentSelectionCount - 1; i >= firstDifference; i--) {
+var me = this.selection.elementAt (i);
+this.selection.removeElementAt (i);
+me.menuSelectionChanged (false);
+}
+for (i = firstDifference, c = path.length; i < c; i++) {
+if (path[i] != null) {
+this.selection.addElement (path[i]);
+path[i].menuSelectionChanged (true);
+}}
+this.fireStateChanged ();
+}, "~A");
+Clazz.defineMethod (c$, "getSelectedPath",
+function () {
+var res = new Array (this.selection.size ());
+var i;
+var c;
+for (i = 0, c = this.selection.size (); i < c; i++) res[i] = this.selection.elementAt (i);
+
+return res;
+});
+Clazz.defineMethod (c$, "clearSelectedPath",
+function () {
+if (this.selection.size () > 0) {
+this.setSelectedPath (null);
+}});
+Clazz.defineMethod (c$, "addChangeListener",
+function (l) {
+this.listenerList.add (javax.swing.event.ChangeListener, l);
+}, "javax.swing.event.ChangeListener");
+Clazz.defineMethod (c$, "removeChangeListener",
+function (l) {
+this.listenerList.remove (javax.swing.event.ChangeListener, l);
+}, "javax.swing.event.ChangeListener");
+Clazz.defineMethod (c$, "getChangeListeners",
+function () {
+return this.listenerList.getListeners (javax.swing.event.ChangeListener);
+});
+Clazz.defineMethod (c$, "fireStateChanged",
+function () {
+var listeners = this.listenerList.getListenerList ();
+for (var i = listeners.length - 2; i >= 0; i -= 2) {
+if (listeners[i] === javax.swing.event.ChangeListener) {
+if (this.changeEvent == null) this.changeEvent = new javax.swing.event.ChangeEvent (this);
+(listeners[i + 1]).stateChanged (this.changeEvent);
+}}
+});
+Clazz.defineMethod (c$, "processMouseEvent",
+function (event) {
+var screenX;
+var screenY;
+var p;
+var i;
+var j;
+var d;
+var mc;
+var r2;
+var cWidth;
+var cHeight;
+var menuElement;
+var subElements;
+var path;
+var tmp;
+var selectionSize;
+p = event.getPoint ();
+var source = event.getSource ();
+if (!source.isShowing ()) {
+return;
+}var type = event.getID ();
+var modifiers = event.getModifiers ();
+if ((type == 504 || type == 505) && ((modifiers & (28)) != 0)) {
+return;
+}javax.swing.SwingUtilities.convertPointToScreen (p, source);
+screenX = p.x;
+screenY = p.y;
+tmp = this.selection.clone ();
+selectionSize = tmp.size ();
+var success = false;
+for (i = selectionSize - 1; i >= 0 && success == false; i--) {
+menuElement = tmp.elementAt (i);
+subElements = menuElement.getSubElements ();
+path = null;
+for (j = 0, d = subElements.length; j < d && success == false; j++) {
+if (subElements[j] == null) continue;
+mc = subElements[j].getComponent ();
+if (!mc.isShowing ()) continue;
+if (Clazz.instanceOf (mc, javax.swing.JComponent)) {
+cWidth = (mc).getWidth ();
+cHeight = (mc).getHeight ();
+} else {
+r2 = mc.getBounds ();
+cWidth = r2.width;
+cHeight = r2.height;
+}p.x = screenX;
+p.y = screenY;
+javax.swing.SwingUtilities.convertPointFromScreen (p, mc);
+if ((p.x >= 0 && p.x < cWidth && p.y >= 0 && p.y < cHeight)) {
+var k;
+if (path == null) {
+path = new Array (i + 2);
+for (k = 0; k <= i; k++) path[k] = tmp.elementAt (k);
+
+}path[i + 1] = subElements[j];
+var currentSelection = this.getSelectedPath ();
+if (currentSelection[currentSelection.length - 1] !== path[i + 1] && (currentSelection.length < 2 || currentSelection[currentSelection.length - 2] !== path[i + 1])) {
+var oldMC = currentSelection[currentSelection.length - 1].getComponent ();
+var exitEvent = new java.awt.event.MouseEvent (oldMC, 505, event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);
+currentSelection[currentSelection.length - 1].processMouseEvent (exitEvent, path, this);
+var enterEvent = new java.awt.event.MouseEvent (mc, 504, event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);
+subElements[j].processMouseEvent (enterEvent, path, this);
+}var mouseEvent = new java.awt.event.MouseEvent (mc, event.getID (), event.getWhen (), event.getModifiers (), p.x, p.y, event.getXOnScreen (), event.getYOnScreen (), event.getClickCount (), event.isPopupTrigger (), 0);
+subElements[j].processMouseEvent (mouseEvent, path, this);
+success = true;
+event.consume ();
+}}
+}
+}, "java.awt.event.MouseEvent");
+Clazz.defineMethod (c$, "componentForPoint",
+function (source, sourcePoint) {
+var screenX;
+var screenY;
+var p = sourcePoint;
+var i;
+var j;
+var d;
+var mc;
+var r2;
+var cWidth;
+var cHeight;
+var menuElement;
+var subElements;
+var tmp;
+var selectionSize;
+javax.swing.SwingUtilities.convertPointToScreen (p, source);
+screenX = p.x;
+screenY = p.y;
+tmp = this.selection.clone ();
+selectionSize = tmp.size ();
+for (i = selectionSize - 1; i >= 0; i--) {
+menuElement = tmp.elementAt (i);
+subElements = menuElement.getSubElements ();
+for (j = 0, d = subElements.length; j < d; j++) {
+if (subElements[j] == null) continue;
+mc = subElements[j].getComponent ();
+if (!mc.isShowing ()) continue;
+if (Clazz.instanceOf (mc, javax.swing.JComponent)) {
+cWidth = (mc).getWidth ();
+cHeight = (mc).getHeight ();
+} else {
+r2 = mc.getBounds ();
+cWidth = r2.width;
+cHeight = r2.height;
+}p.x = screenX;
+p.y = screenY;
+javax.swing.SwingUtilities.convertPointFromScreen (p, mc);
+if (p.x >= 0 && p.x < cWidth && p.y >= 0 && p.y < cHeight) {
+return mc;
+}}
+}
+return null;
+}, "java.awt.Component,java.awt.Point");
+Clazz.defineMethod (c$, "processKeyEvent",
+function (e) {
+var sel2 = new Array (0);
+sel2 = this.selection.toArray (sel2);
+var selSize = sel2.length;
+var path;
+if (selSize < 1) {
+return;
+}for (var i = selSize - 1; i >= 0; i--) {
+var elem = sel2[i];
+var subs = elem.getSubElements ();
+path = null;
+for (var j = 0; j < subs.length; j++) {
+if (subs[j] == null || !subs[j].getComponent ().isShowing () || !subs[j].getComponent ().isEnabled ()) {
+continue;
+}if (path == null) {
+path = new Array (i + 2);
+System.arraycopy (sel2, 0, path, 0, i + 1);
+}path[i + 1] = subs[j];
+subs[j].processKeyEvent (e, path, this);
+if (e.isConsumed ()) {
+return;
+}}
+}
+path = new Array (1);
+path[0] = sel2[0];
+path[0].processKeyEvent (e, path, this);
+if (e.isConsumed ()) {
+return;
+}}, "java.awt.event.KeyEvent");
+Clazz.defineMethod (c$, "isComponentPartOfCurrentMenu",
+function (c) {
+if (this.selection.size () > 0) {
+var me = this.selection.elementAt (0);
+return this.isComponentPartOfCurrentMenu (me, c);
+} else return false;
+}, "java.awt.Component");
+Clazz.defineMethod (c$, "isComponentPartOfCurrentMenu",
+ function (root, c) {
+var children;
+var i;
+var d;
+if (root == null) return false;
+if (root.getComponent () === c) return true;
+ else {
+children = root.getSubElements ();
+for (i = 0, d = children.length; i < d; i++) {
+if (this.isComponentPartOfCurrentMenu (children[i], c)) return true;
+}
+}return false;
+}, "javax.swing.MenuElement,java.awt.Component");
+c$.MENU_SELECTION_MANAGER_KEY = c$.prototype.MENU_SELECTION_MANAGER_KEY = new Clazz._O ();
+});
git://source.jalview.org / jalviewjs.git / blobdiff