-Clazz.declarePackage ("javax.swing");\r
-Clazz.load (["javax.swing.JComponent", "$.JScrollBar", "$.ScrollPaneConstants", "javax.swing.plaf.UIResource"], "javax.swing.JScrollPane", ["java.lang.Boolean", "$.ClassCastException", "$.IllegalArgumentException", "java.awt.Point", "$.Rectangle", "javax.swing.JViewport", "$.ScrollPaneLayout", "$.Scrollable", "$.SwingUtilities", "$.UIManager"], function () {\r
-c$ = Clazz.decorateAsClass (function () {\r
-this.viewportBorder = null;\r
-this.verticalScrollBarPolicy = 20;\r
-this.horizontalScrollBarPolicy = 30;\r
-this.viewport = null;\r
-this.verticalScrollBar = null;\r
-this.horizontalScrollBar = null;\r
-this.rowHeader = null;\r
-this.columnHeader = null;\r
-this.lowerLeft = null;\r
-this.lowerRight = null;\r
-this.upperLeft = null;\r
-this.upperRight = null;\r
-this.wheelScrollState = true;\r
-if (!Clazz.isClassDefined ("javax.swing.JScrollPane.ScrollBar")) {\r
-javax.swing.JScrollPane.$JScrollPane$ScrollBar$ ();\r
-}\r
-Clazz.instantialize (this, arguments);\r
-}, javax.swing, "JScrollPane", javax.swing.JComponent, javax.swing.ScrollPaneConstants);\r
-Clazz.makeConstructor (c$, \r
-function (view, vsbPolicy, hsbPolicy) {\r
-Clazz.superConstructor (this, javax.swing.JScrollPane, []);\r
-this.setLayout ( new javax.swing.ScrollPaneLayout.UIResource ());\r
-this.setVerticalScrollBarPolicy (vsbPolicy);\r
-this.setHorizontalScrollBarPolicy (hsbPolicy);\r
-this.setViewport (this.createViewport ());\r
-this.setVerticalScrollBar (this.createVerticalScrollBar ());\r
-this.setHorizontalScrollBar (this.createHorizontalScrollBar ());\r
-if (view != null) {\r
-this.setViewportView (view);\r
-}this.setUIProperty ("opaque", new Boolean (true));\r
-this.updateUI ();\r
-if (!this.getComponentOrientation ().isLeftToRight ()) {\r
-this.viewport.setViewPosition ( new java.awt.Point (2147483647, 0));\r
-}}, "java.awt.Component,~N,~N");\r
-Clazz.makeConstructor (c$, \r
-function (view) {\r
-this.construct (view, 20, 30);\r
-}, "java.awt.Component");\r
-Clazz.makeConstructor (c$, \r
-function (vsbPolicy, hsbPolicy) {\r
-this.construct (null, vsbPolicy, hsbPolicy);\r
-}, "~N,~N");\r
-Clazz.makeConstructor (c$, \r
-function () {\r
-this.construct (null, 20, 30);\r
-});\r
-Clazz.overrideMethod (c$, "getUI", \r
-function () {\r
-return this.ui;\r
-});\r
-Clazz.overrideMethod (c$, "updateUI", \r
-function () {\r
-this.setUI (javax.swing.UIManager.getUI (this));\r
-});\r
-Clazz.overrideMethod (c$, "getUIClassID", \r
-function () {\r
-return "ScrollPaneUI";\r
-});\r
-Clazz.defineMethod (c$, "setLayout", \r
-function (layout) {\r
-if (Clazz.instanceOf (layout, javax.swing.ScrollPaneLayout)) {\r
-Clazz.superCall (this, javax.swing.JScrollPane, "setLayout", [layout]);\r
-(layout).syncWithScrollPane (this);\r
-} else if (layout == null) {\r
-Clazz.superCall (this, javax.swing.JScrollPane, "setLayout", [layout]);\r
-} else {\r
-var s = "layout of JScrollPane must be a ScrollPaneLayout";\r
-throw new ClassCastException (s);\r
-}}, "java.awt.LayoutManager");\r
-Clazz.overrideMethod (c$, "isValidateRoot", \r
-function () {\r
-return true;\r
-});\r
-Clazz.defineMethod (c$, "getVerticalScrollBarPolicy", \r
-function () {\r
-return this.verticalScrollBarPolicy;\r
-});\r
-Clazz.defineMethod (c$, "setVerticalScrollBarPolicy", \r
-function (policy) {\r
-switch (policy) {\r
-case 20:\r
-case 21:\r
-case 22:\r
-break;\r
-default:\r
-throw new IllegalArgumentException ("invalid verticalScrollBarPolicy");\r
-}\r
-var old = this.verticalScrollBarPolicy;\r
-this.verticalScrollBarPolicy = policy;\r
-this.firePropertyChangeInt ("verticalScrollBarPolicy", old, policy);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "~N");\r
-Clazz.defineMethod (c$, "getHorizontalScrollBarPolicy", \r
-function () {\r
-return this.horizontalScrollBarPolicy;\r
-});\r
-Clazz.defineMethod (c$, "setHorizontalScrollBarPolicy", \r
-function (policy) {\r
-switch (policy) {\r
-case 30:\r
-case 31:\r
-case 32:\r
-break;\r
-default:\r
-throw new IllegalArgumentException ("invalid horizontalScrollBarPolicy");\r
-}\r
-var old = this.horizontalScrollBarPolicy;\r
-this.horizontalScrollBarPolicy = policy;\r
-this.firePropertyChangeInt ("horizontalScrollBarPolicy", old, policy);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "~N");\r
-Clazz.defineMethod (c$, "getViewportBorder", \r
-function () {\r
-return this.viewportBorder;\r
-});\r
-Clazz.defineMethod (c$, "setViewportBorder", \r
-function (viewportBorder) {\r
-var oldValue = this.viewportBorder;\r
-this.viewportBorder = viewportBorder;\r
-this.firePropertyChangeObject ("viewportBorder", oldValue, viewportBorder);\r
-}, "javax.swing.border.Border");\r
-Clazz.defineMethod (c$, "getViewportBorderBounds", \r
-function () {\r
-var borderR = new java.awt.Rectangle (this.getSize ());\r
-var insets = this.getInsets ();\r
-borderR.x = insets.left;\r
-borderR.y = insets.top;\r
-borderR.width -= insets.left + insets.right;\r
-borderR.height -= insets.top + insets.bottom;\r
-var leftToRight = javax.swing.SwingUtilities.isLeftToRight (this);\r
-var colHead = this.getColumnHeader ();\r
-if ((colHead != null) && (colHead.isVisible ())) {\r
-var colHeadHeight = colHead.getHeight ();\r
-borderR.y += colHeadHeight;\r
-borderR.height -= colHeadHeight;\r
-}var rowHead = this.getRowHeader ();\r
-if ((rowHead != null) && (rowHead.isVisible ())) {\r
-var rowHeadWidth = rowHead.getWidth ();\r
-if (leftToRight) {\r
-borderR.x += rowHeadWidth;\r
-}borderR.width -= rowHeadWidth;\r
-}var vsb = this.getVerticalScrollBar ();\r
-if ((vsb != null) && (vsb.isVisible ())) {\r
-var vsbWidth = vsb.getWidth ();\r
-if (!leftToRight) {\r
-borderR.x += vsbWidth;\r
-}borderR.width -= vsbWidth;\r
-}var hsb = this.getHorizontalScrollBar ();\r
-if ((hsb != null) && (hsb.isVisible ())) {\r
-borderR.height -= hsb.getHeight ();\r
-}return borderR;\r
-});\r
-Clazz.defineMethod (c$, "createHorizontalScrollBar", \r
-function () {\r
-return Clazz.innerTypeInstance (javax.swing.JScrollPane.ScrollBar, this, null, 0);\r
-});\r
-Clazz.defineMethod (c$, "getHorizontalScrollBar", \r
-function () {\r
-return this.horizontalScrollBar;\r
-});\r
-Clazz.defineMethod (c$, "setHorizontalScrollBar", \r
-function (horizontalScrollBar) {\r
-var old = this.getHorizontalScrollBar ();\r
-this.horizontalScrollBar = horizontalScrollBar;\r
-if (horizontalScrollBar != null) {\r
-this.add (horizontalScrollBar, "HORIZONTAL_SCROLLBAR");\r
-} else if (old != null) {\r
-this.remove (old);\r
-}this.firePropertyChangeObject ("horizontalScrollBar", old, horizontalScrollBar);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "javax.swing.JScrollBar");\r
-Clazz.defineMethod (c$, "createVerticalScrollBar", \r
-function () {\r
-return Clazz.innerTypeInstance (javax.swing.JScrollPane.ScrollBar, this, null, 1);\r
-});\r
-Clazz.defineMethod (c$, "getVerticalScrollBar", \r
-function () {\r
-return this.verticalScrollBar;\r
-});\r
-Clazz.defineMethod (c$, "setVerticalScrollBar", \r
-function (verticalScrollBar) {\r
-var old = this.getVerticalScrollBar ();\r
-this.verticalScrollBar = verticalScrollBar;\r
-this.add (verticalScrollBar, "VERTICAL_SCROLLBAR");\r
-this.firePropertyChangeObject ("verticalScrollBar", old, verticalScrollBar);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "javax.swing.JScrollBar");\r
-Clazz.defineMethod (c$, "createViewport", \r
-function () {\r
-return new javax.swing.JViewport ();\r
-});\r
-Clazz.defineMethod (c$, "getViewport", \r
-function () {\r
-return this.viewport;\r
-});\r
-Clazz.defineMethod (c$, "setViewport", \r
-function (viewport) {\r
-var old = this.getViewport ();\r
-this.viewport = viewport;\r
-if (viewport != null) {\r
-this.add (viewport, "VIEWPORT");\r
-} else if (old != null) {\r
-this.remove (old);\r
-}this.firePropertyChangeObject ("viewport", old, viewport);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "javax.swing.JViewport");\r
-Clazz.defineMethod (c$, "setViewportView", \r
-function (view) {\r
-if (this.getViewport () == null) {\r
-this.setViewport (this.createViewport ());\r
-}this.getViewport ().setView (view);\r
-}, "java.awt.Component");\r
-Clazz.defineMethod (c$, "getRowHeader", \r
-function () {\r
-return this.rowHeader;\r
-});\r
-Clazz.defineMethod (c$, "setRowHeader", \r
-function (rowHeader) {\r
-var old = this.getRowHeader ();\r
-this.rowHeader = rowHeader;\r
-if (rowHeader != null) {\r
-this.add (rowHeader, "ROW_HEADER");\r
-} else if (old != null) {\r
-this.remove (old);\r
-}this.firePropertyChangeObject ("rowHeader", old, rowHeader);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "javax.swing.JViewport");\r
-Clazz.defineMethod (c$, "setRowHeaderView", \r
-function (view) {\r
-if (this.getRowHeader () == null) {\r
-this.setRowHeader (this.createViewport ());\r
-}this.getRowHeader ().setView (view);\r
-}, "java.awt.Component");\r
-Clazz.defineMethod (c$, "getColumnHeader", \r
-function () {\r
-return this.columnHeader;\r
-});\r
-Clazz.defineMethod (c$, "setColumnHeader", \r
-function (columnHeader) {\r
-var old = this.getColumnHeader ();\r
-this.columnHeader = columnHeader;\r
-if (columnHeader != null) {\r
-this.add (columnHeader, "COLUMN_HEADER");\r
-} else if (old != null) {\r
-this.remove (old);\r
-}this.firePropertyChangeObject ("columnHeader", old, columnHeader);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "javax.swing.JViewport");\r
-Clazz.defineMethod (c$, "setColumnHeaderView", \r
-function (view) {\r
-if (this.getColumnHeader () == null) {\r
-this.setColumnHeader (this.createViewport ());\r
-}this.getColumnHeader ().setView (view);\r
-}, "java.awt.Component");\r
-Clazz.defineMethod (c$, "getCorner", \r
-function (key) {\r
-var isLeftToRight = this.getComponentOrientation ().isLeftToRight ();\r
-if (key.equals ("LOWER_LEADING_CORNER")) {\r
-key = isLeftToRight ? "LOWER_LEFT_CORNER" : "LOWER_RIGHT_CORNER";\r
-} else if (key.equals ("LOWER_TRAILING_CORNER")) {\r
-key = isLeftToRight ? "LOWER_RIGHT_CORNER" : "LOWER_LEFT_CORNER";\r
-} else if (key.equals ("UPPER_LEADING_CORNER")) {\r
-key = isLeftToRight ? "UPPER_LEFT_CORNER" : "UPPER_RIGHT_CORNER";\r
-} else if (key.equals ("UPPER_TRAILING_CORNER")) {\r
-key = isLeftToRight ? "UPPER_RIGHT_CORNER" : "UPPER_LEFT_CORNER";\r
-}if (key.equals ("LOWER_LEFT_CORNER")) {\r
-return this.lowerLeft;\r
-} else if (key.equals ("LOWER_RIGHT_CORNER")) {\r
-return this.lowerRight;\r
-} else if (key.equals ("UPPER_LEFT_CORNER")) {\r
-return this.upperLeft;\r
-} else if (key.equals ("UPPER_RIGHT_CORNER")) {\r
-return this.upperRight;\r
-} else {\r
-return null;\r
-}}, "~S");\r
-Clazz.defineMethod (c$, "setCorner", \r
-function (key, corner) {\r
-var old;\r
-var isLeftToRight = this.getComponentOrientation ().isLeftToRight ();\r
-if (key.equals ("LOWER_LEADING_CORNER")) {\r
-key = isLeftToRight ? "LOWER_LEFT_CORNER" : "LOWER_RIGHT_CORNER";\r
-} else if (key.equals ("LOWER_TRAILING_CORNER")) {\r
-key = isLeftToRight ? "LOWER_RIGHT_CORNER" : "LOWER_LEFT_CORNER";\r
-} else if (key.equals ("UPPER_LEADING_CORNER")) {\r
-key = isLeftToRight ? "UPPER_LEFT_CORNER" : "UPPER_RIGHT_CORNER";\r
-} else if (key.equals ("UPPER_TRAILING_CORNER")) {\r
-key = isLeftToRight ? "UPPER_RIGHT_CORNER" : "UPPER_LEFT_CORNER";\r
-}if (key.equals ("LOWER_LEFT_CORNER")) {\r
-old = this.lowerLeft;\r
-this.lowerLeft = corner;\r
-} else if (key.equals ("LOWER_RIGHT_CORNER")) {\r
-old = this.lowerRight;\r
-this.lowerRight = corner;\r
-} else if (key.equals ("UPPER_LEFT_CORNER")) {\r
-old = this.upperLeft;\r
-this.upperLeft = corner;\r
-} else if (key.equals ("UPPER_RIGHT_CORNER")) {\r
-old = this.upperRight;\r
-this.upperRight = corner;\r
-} else {\r
-throw new IllegalArgumentException ("invalid corner key");\r
-}if (old != null) {\r
-this.remove (old);\r
-}if (corner != null) {\r
-this.add (corner, key);\r
-}this.firePropertyChangeObject (key, old, corner);\r
-this.revalidate ();\r
-this.repaint ();\r
-}, "~S,java.awt.Component");\r
-Clazz.defineMethod (c$, "setComponentOrientation", \r
-function (co) {\r
-Clazz.superCall (this, javax.swing.JScrollPane, "setComponentOrientation", [co]);\r
-if (this.verticalScrollBar != null) this.verticalScrollBar.setComponentOrientation (co);\r
-if (this.horizontalScrollBar != null) this.horizontalScrollBar.setComponentOrientation (co);\r
-}, "java.awt.ComponentOrientation");\r
-Clazz.defineMethod (c$, "isWheelScrollingEnabled", \r
-function () {\r
-return this.wheelScrollState;\r
-});\r
-Clazz.defineMethod (c$, "setWheelScrollingEnabled", \r
-function (handleWheel) {\r
-var old = this.wheelScrollState;\r
-this.wheelScrollState = handleWheel;\r
-this.firePropertyChangeBool ("wheelScrollingEnabled", old, handleWheel);\r
-}, "~B");\r
-Clazz.defineMethod (c$, "paramString", \r
-function () {\r
-var viewportBorderString = (this.viewportBorder != null ? this.viewportBorder.toString () : "");\r
-var viewportString = (this.viewport != null ? this.viewport.toString () : "");\r
-var verticalScrollBarPolicyString;\r
-if (this.verticalScrollBarPolicy == 20) {\r
-verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_AS_NEEDED";\r
-} else if (this.verticalScrollBarPolicy == 21) {\r
-verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_NEVER";\r
-} else if (this.verticalScrollBarPolicy == 22) {\r
-verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_ALWAYS";\r
-} else verticalScrollBarPolicyString = "";\r
-var horizontalScrollBarPolicyString;\r
-if (this.horizontalScrollBarPolicy == 30) {\r
-horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_AS_NEEDED";\r
-} else if (this.horizontalScrollBarPolicy == 31) {\r
-horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_NEVER";\r
-} else if (this.horizontalScrollBarPolicy == 32) {\r
-horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_ALWAYS";\r
-} else horizontalScrollBarPolicyString = "";\r
-var horizontalScrollBarString = (this.horizontalScrollBar != null ? this.horizontalScrollBar.toString () : "");\r
-var verticalScrollBarString = (this.verticalScrollBar != null ? this.verticalScrollBar.toString () : "");\r
-var columnHeaderString = (this.columnHeader != null ? this.columnHeader.toString () : "");\r
-var rowHeaderString = (this.rowHeader != null ? this.rowHeader.toString () : "");\r
-var lowerLeftString = (this.lowerLeft != null ? this.lowerLeft.toString () : "");\r
-var lowerRightString = (this.lowerRight != null ? this.lowerRight.toString () : "");\r
-var upperLeftString = (this.upperLeft != null ? this.upperLeft.toString () : "");\r
-var upperRightString = (this.upperRight != null ? this.upperRight.toString () : "");\r
-return Clazz.superCall (this, javax.swing.JScrollPane, "paramString", []) + ",columnHeader=" + columnHeaderString + ",horizontalScrollBar=" + horizontalScrollBarString + ",horizontalScrollBarPolicy=" + horizontalScrollBarPolicyString + ",lowerLeft=" + lowerLeftString + ",lowerRight=" + lowerRightString + ",rowHeader=" + rowHeaderString + ",upperLeft=" + upperLeftString + ",upperRight=" + upperRightString + ",verticalScrollBar=" + verticalScrollBarString + ",verticalScrollBarPolicy=" + verticalScrollBarPolicyString + ",viewport=" + viewportString + ",viewportBorder=" + viewportBorderString;\r
-});\r
-c$.$JScrollPane$ScrollBar$ = function () {\r
-Clazz.pu$h(self.c$);\r
-c$ = Clazz.decorateAsClass (function () {\r
-Clazz.prepareCallback (this, arguments);\r
-this.unitIncrementSet = false;\r
-this.blockIncrementSet = false;\r
-Clazz.instantialize (this, arguments);\r
-}, javax.swing.JScrollPane, "ScrollBar", javax.swing.JScrollBar, javax.swing.plaf.UIResource);\r
-Clazz.makeConstructor (c$, \r
-function (a) {\r
-Clazz.superConstructor (this, javax.swing.JScrollPane.ScrollBar, [a]);\r
-this.putClientProperty ("JScrollBar.fastWheelScrolling", Boolean.TRUE);\r
-}, "~N");\r
-Clazz.defineMethod (c$, "setUnitIncrement", \r
-function (a) {\r
-this.unitIncrementSet = true;\r
-this.putClientProperty ("JScrollBar.fastWheelScrolling", null);\r
-Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "setUnitIncrement", [a]);\r
-}, "~N");\r
-Clazz.defineMethod (c$, "getUnitIncrement", \r
-function (a) {\r
-var b = this.b$["javax.swing.JScrollPane"].getViewport ();\r
-if (!this.unitIncrementSet && (b != null) && (Clazz.instanceOf (b.getView (), javax.swing.Scrollable))) {\r
-var c = (b.getView ());\r
-var d = b.getViewRect ();\r
-return c.getScrollableUnitIncrement (d, this.getOrientation (), a);\r
-} else {\r
-return Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "getUnitIncrement", [a]);\r
-}}, "~N");\r
-Clazz.defineMethod (c$, "setBlockIncrement", \r
-function (a) {\r
-this.blockIncrementSet = true;\r
-this.putClientProperty ("JScrollBar.fastWheelScrolling", null);\r
-Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "setBlockIncrement", [a]);\r
-}, "~N");\r
-Clazz.defineMethod (c$, "getBlockIncrement", \r
-function (a) {\r
-var b = this.b$["javax.swing.JScrollPane"].getViewport ();\r
-if (this.blockIncrementSet || b == null) {\r
-return Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "getBlockIncrement", [a]);\r
-} else if (Clazz.instanceOf (b.getView (), javax.swing.Scrollable)) {\r
-var c = (b.getView ());\r
-var d = b.getViewRect ();\r
-return c.getScrollableBlockIncrement (d, this.getOrientation (), a);\r
-} else if (this.getOrientation () == 1) {\r
-return b.getExtentSize ().height;\r
-} else {\r
-return b.getExtentSize ().width;\r
-}}, "~N");\r
-c$ = Clazz.p0p ();\r
-};\r
-Clazz.defineStatics (c$,\r
-"$uiClassID", "ScrollPaneUI");\r
-});\r
+Clazz.declarePackage ("javax.swing");
+Clazz.load (["javax.swing.JComponent", "$.JScrollBar", "$.ScrollPaneConstants", "javax.swing.plaf.UIResource"], "javax.swing.JScrollPane", ["java.lang.Boolean", "$.ClassCastException", "$.IllegalArgumentException", "java.awt.Point", "$.Rectangle", "javax.swing.JViewport", "$.ScrollPaneLayout", "$.Scrollable", "$.SwingUtilities", "$.UIManager"], function () {
+c$ = Clazz.decorateAsClass (function () {
+this.viewportBorder = null;
+this.verticalScrollBarPolicy = 20;
+this.horizontalScrollBarPolicy = 30;
+this.viewport = null;
+this.verticalScrollBar = null;
+this.horizontalScrollBar = null;
+this.rowHeader = null;
+this.columnHeader = null;
+this.lowerLeft = null;
+this.lowerRight = null;
+this.upperLeft = null;
+this.upperRight = null;
+this.wheelScrollState = true;
+if (!Clazz.isClassDefined ("javax.swing.JScrollPane.ScrollBar")) {
+javax.swing.JScrollPane.$JScrollPane$ScrollBar$ ();
+}
+Clazz.instantialize (this, arguments);
+}, javax.swing, "JScrollPane", javax.swing.JComponent, javax.swing.ScrollPaneConstants);
+Clazz.makeConstructor (c$,
+function (view, vsbPolicy, hsbPolicy) {
+Clazz.superConstructor (this, javax.swing.JScrollPane, []);
+this.setLayout ( new javax.swing.ScrollPaneLayout.UIResource ());
+this.setVerticalScrollBarPolicy (vsbPolicy);
+this.setHorizontalScrollBarPolicy (hsbPolicy);
+this.setViewport (this.createViewport ());
+this.setVerticalScrollBar (this.createVerticalScrollBar ());
+this.setHorizontalScrollBar (this.createHorizontalScrollBar ());
+if (view != null) {
+this.setViewportView (view);
+}this.setUIProperty ("opaque", new Boolean (true));
+this.updateUI ();
+if (!this.getComponentOrientation ().isLeftToRight ()) {
+this.viewport.setViewPosition ( new java.awt.Point (2147483647, 0));
+}}, "java.awt.Component,~N,~N");
+Clazz.makeConstructor (c$,
+function (view) {
+this.construct (view, 20, 30);
+}, "java.awt.Component");
+Clazz.makeConstructor (c$,
+function (vsbPolicy, hsbPolicy) {
+this.construct (null, vsbPolicy, hsbPolicy);
+}, "~N,~N");
+Clazz.makeConstructor (c$,
+function () {
+this.construct (null, 20, 30);
+});
+Clazz.overrideMethod (c$, "getUI",
+function () {
+return this.ui;
+});
+Clazz.overrideMethod (c$, "updateUI",
+function () {
+this.setUI (javax.swing.UIManager.getUI (this));
+});
+Clazz.overrideMethod (c$, "getUIClassID",
+function () {
+return "ScrollPaneUI";
+});
+Clazz.defineMethod (c$, "setLayout",
+function (layout) {
+if (Clazz.instanceOf (layout, javax.swing.ScrollPaneLayout)) {
+Clazz.superCall (this, javax.swing.JScrollPane, "setLayout", [layout]);
+(layout).syncWithScrollPane (this);
+} else if (layout == null) {
+Clazz.superCall (this, javax.swing.JScrollPane, "setLayout", [layout]);
+} else {
+var s = "layout of JScrollPane must be a ScrollPaneLayout";
+throw new ClassCastException (s);
+}}, "java.awt.LayoutManager");
+Clazz.overrideMethod (c$, "isValidateRoot",
+function () {
+return true;
+});
+Clazz.defineMethod (c$, "getVerticalScrollBarPolicy",
+function () {
+return this.verticalScrollBarPolicy;
+});
+Clazz.defineMethod (c$, "setVerticalScrollBarPolicy",
+function (policy) {
+switch (policy) {
+case 20:
+case 21:
+case 22:
+break;
+default:
+throw new IllegalArgumentException ("invalid verticalScrollBarPolicy");
+}
+var old = this.verticalScrollBarPolicy;
+this.verticalScrollBarPolicy = policy;
+this.firePropertyChangeInt ("verticalScrollBarPolicy", old, policy);
+this.revalidate ();
+this.repaint ();
+}, "~N");
+Clazz.defineMethod (c$, "getHorizontalScrollBarPolicy",
+function () {
+return this.horizontalScrollBarPolicy;
+});
+Clazz.defineMethod (c$, "setHorizontalScrollBarPolicy",
+function (policy) {
+switch (policy) {
+case 30:
+case 31:
+case 32:
+break;
+default:
+throw new IllegalArgumentException ("invalid horizontalScrollBarPolicy");
+}
+var old = this.horizontalScrollBarPolicy;
+this.horizontalScrollBarPolicy = policy;
+this.firePropertyChangeInt ("horizontalScrollBarPolicy", old, policy);
+this.revalidate ();
+this.repaint ();
+}, "~N");
+Clazz.defineMethod (c$, "getViewportBorder",
+function () {
+return this.viewportBorder;
+});
+Clazz.defineMethod (c$, "setViewportBorder",
+function (viewportBorder) {
+var oldValue = this.viewportBorder;
+this.viewportBorder = viewportBorder;
+this.firePropertyChangeObject ("viewportBorder", oldValue, viewportBorder);
+}, "javax.swing.border.Border");
+Clazz.defineMethod (c$, "getViewportBorderBounds",
+function () {
+var borderR = new java.awt.Rectangle (this.getSize ());
+var insets = this.getInsets ();
+borderR.x = insets.left;
+borderR.y = insets.top;
+borderR.width -= insets.left + insets.right;
+borderR.height -= insets.top + insets.bottom;
+var leftToRight = javax.swing.SwingUtilities.isLeftToRight (this);
+var colHead = this.getColumnHeader ();
+if ((colHead != null) && (colHead.isVisible ())) {
+var colHeadHeight = colHead.getHeight ();
+borderR.y += colHeadHeight;
+borderR.height -= colHeadHeight;
+}var rowHead = this.getRowHeader ();
+if ((rowHead != null) && (rowHead.isVisible ())) {
+var rowHeadWidth = rowHead.getWidth ();
+if (leftToRight) {
+borderR.x += rowHeadWidth;
+}borderR.width -= rowHeadWidth;
+}var vsb = this.getVerticalScrollBar ();
+if ((vsb != null) && (vsb.isVisible ())) {
+var vsbWidth = vsb.getWidth ();
+if (!leftToRight) {
+borderR.x += vsbWidth;
+}borderR.width -= vsbWidth;
+}var hsb = this.getHorizontalScrollBar ();
+if ((hsb != null) && (hsb.isVisible ())) {
+borderR.height -= hsb.getHeight ();
+}return borderR;
+});
+Clazz.defineMethod (c$, "createHorizontalScrollBar",
+function () {
+return Clazz.innerTypeInstance (javax.swing.JScrollPane.ScrollBar, this, null, 0);
+});
+Clazz.defineMethod (c$, "getHorizontalScrollBar",
+function () {
+return this.horizontalScrollBar;
+});
+Clazz.defineMethod (c$, "setHorizontalScrollBar",
+function (horizontalScrollBar) {
+var old = this.getHorizontalScrollBar ();
+this.horizontalScrollBar = horizontalScrollBar;
+if (horizontalScrollBar != null) {
+this.add (horizontalScrollBar, "HORIZONTAL_SCROLLBAR");
+} else if (old != null) {
+this.remove (old);
+}this.firePropertyChangeObject ("horizontalScrollBar", old, horizontalScrollBar);
+this.revalidate ();
+this.repaint ();
+}, "javax.swing.JScrollBar");
+Clazz.defineMethod (c$, "createVerticalScrollBar",
+function () {
+return Clazz.innerTypeInstance (javax.swing.JScrollPane.ScrollBar, this, null, 1);
+});
+Clazz.defineMethod (c$, "getVerticalScrollBar",
+function () {
+return this.verticalScrollBar;
+});
+Clazz.defineMethod (c$, "setVerticalScrollBar",
+function (verticalScrollBar) {
+var old = this.getVerticalScrollBar ();
+this.verticalScrollBar = verticalScrollBar;
+this.add (verticalScrollBar, "VERTICAL_SCROLLBAR");
+this.firePropertyChangeObject ("verticalScrollBar", old, verticalScrollBar);
+this.revalidate ();
+this.repaint ();
+}, "javax.swing.JScrollBar");
+Clazz.defineMethod (c$, "createViewport",
+function () {
+return new javax.swing.JViewport ();
+});
+Clazz.defineMethod (c$, "getViewport",
+function () {
+return this.viewport;
+});
+Clazz.defineMethod (c$, "setViewport",
+function (viewport) {
+var old = this.getViewport ();
+this.viewport = viewport;
+if (viewport != null) {
+this.add (viewport, "VIEWPORT");
+} else if (old != null) {
+this.remove (old);
+}this.firePropertyChangeObject ("viewport", old, viewport);
+this.revalidate ();
+this.repaint ();
+}, "javax.swing.JViewport");
+Clazz.defineMethod (c$, "setViewportView",
+function (view) {
+if (this.getViewport () == null) {
+this.setViewport (this.createViewport ());
+}this.getViewport ().setView (view);
+}, "java.awt.Component");
+Clazz.defineMethod (c$, "getRowHeader",
+function () {
+return this.rowHeader;
+});
+Clazz.defineMethod (c$, "setRowHeader",
+function (rowHeader) {
+var old = this.getRowHeader ();
+this.rowHeader = rowHeader;
+if (rowHeader != null) {
+this.add (rowHeader, "ROW_HEADER");
+} else if (old != null) {
+this.remove (old);
+}this.firePropertyChangeObject ("rowHeader", old, rowHeader);
+this.revalidate ();
+this.repaint ();
+}, "javax.swing.JViewport");
+Clazz.defineMethod (c$, "setRowHeaderView",
+function (view) {
+if (this.getRowHeader () == null) {
+this.setRowHeader (this.createViewport ());
+}this.getRowHeader ().setView (view);
+}, "java.awt.Component");
+Clazz.defineMethod (c$, "getColumnHeader",
+function () {
+return this.columnHeader;
+});
+Clazz.defineMethod (c$, "setColumnHeader",
+function (columnHeader) {
+var old = this.getColumnHeader ();
+this.columnHeader = columnHeader;
+if (columnHeader != null) {
+this.add (columnHeader, "COLUMN_HEADER");
+} else if (old != null) {
+this.remove (old);
+}this.firePropertyChangeObject ("columnHeader", old, columnHeader);
+this.revalidate ();
+this.repaint ();
+}, "javax.swing.JViewport");
+Clazz.defineMethod (c$, "setColumnHeaderView",
+function (view) {
+if (this.getColumnHeader () == null) {
+this.setColumnHeader (this.createViewport ());
+}this.getColumnHeader ().setView (view);
+}, "java.awt.Component");
+Clazz.defineMethod (c$, "getCorner",
+function (key) {
+var isLeftToRight = this.getComponentOrientation ().isLeftToRight ();
+if (key.equals ("LOWER_LEADING_CORNER")) {
+key = isLeftToRight ? "LOWER_LEFT_CORNER" : "LOWER_RIGHT_CORNER";
+} else if (key.equals ("LOWER_TRAILING_CORNER")) {
+key = isLeftToRight ? "LOWER_RIGHT_CORNER" : "LOWER_LEFT_CORNER";
+} else if (key.equals ("UPPER_LEADING_CORNER")) {
+key = isLeftToRight ? "UPPER_LEFT_CORNER" : "UPPER_RIGHT_CORNER";
+} else if (key.equals ("UPPER_TRAILING_CORNER")) {
+key = isLeftToRight ? "UPPER_RIGHT_CORNER" : "UPPER_LEFT_CORNER";
+}if (key.equals ("LOWER_LEFT_CORNER")) {
+return this.lowerLeft;
+} else if (key.equals ("LOWER_RIGHT_CORNER")) {
+return this.lowerRight;
+} else if (key.equals ("UPPER_LEFT_CORNER")) {
+return this.upperLeft;
+} else if (key.equals ("UPPER_RIGHT_CORNER")) {
+return this.upperRight;
+} else {
+return null;
+}}, "~S");
+Clazz.defineMethod (c$, "setCorner",
+function (key, corner) {
+var old;
+var isLeftToRight = this.getComponentOrientation ().isLeftToRight ();
+if (key.equals ("LOWER_LEADING_CORNER")) {
+key = isLeftToRight ? "LOWER_LEFT_CORNER" : "LOWER_RIGHT_CORNER";
+} else if (key.equals ("LOWER_TRAILING_CORNER")) {
+key = isLeftToRight ? "LOWER_RIGHT_CORNER" : "LOWER_LEFT_CORNER";
+} else if (key.equals ("UPPER_LEADING_CORNER")) {
+key = isLeftToRight ? "UPPER_LEFT_CORNER" : "UPPER_RIGHT_CORNER";
+} else if (key.equals ("UPPER_TRAILING_CORNER")) {
+key = isLeftToRight ? "UPPER_RIGHT_CORNER" : "UPPER_LEFT_CORNER";
+}if (key.equals ("LOWER_LEFT_CORNER")) {
+old = this.lowerLeft;
+this.lowerLeft = corner;
+} else if (key.equals ("LOWER_RIGHT_CORNER")) {
+old = this.lowerRight;
+this.lowerRight = corner;
+} else if (key.equals ("UPPER_LEFT_CORNER")) {
+old = this.upperLeft;
+this.upperLeft = corner;
+} else if (key.equals ("UPPER_RIGHT_CORNER")) {
+old = this.upperRight;
+this.upperRight = corner;
+} else {
+throw new IllegalArgumentException ("invalid corner key");
+}if (old != null) {
+this.remove (old);
+}if (corner != null) {
+this.add (corner, key);
+}this.firePropertyChangeObject (key, old, corner);
+this.revalidate ();
+this.repaint ();
+}, "~S,java.awt.Component");
+Clazz.defineMethod (c$, "setComponentOrientation",
+function (co) {
+Clazz.superCall (this, javax.swing.JScrollPane, "setComponentOrientation", [co]);
+if (this.verticalScrollBar != null) this.verticalScrollBar.setComponentOrientation (co);
+if (this.horizontalScrollBar != null) this.horizontalScrollBar.setComponentOrientation (co);
+}, "java.awt.ComponentOrientation");
+Clazz.defineMethod (c$, "isWheelScrollingEnabled",
+function () {
+return this.wheelScrollState;
+});
+Clazz.defineMethod (c$, "setWheelScrollingEnabled",
+function (handleWheel) {
+var old = this.wheelScrollState;
+this.wheelScrollState = handleWheel;
+this.firePropertyChangeBool ("wheelScrollingEnabled", old, handleWheel);
+}, "~B");
+Clazz.defineMethod (c$, "paramString",
+function () {
+var viewportBorderString = (this.viewportBorder != null ? this.viewportBorder.toString () : "");
+var viewportString = (this.viewport != null ? this.viewport.toString () : "");
+var verticalScrollBarPolicyString;
+if (this.verticalScrollBarPolicy == 20) {
+verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_AS_NEEDED";
+} else if (this.verticalScrollBarPolicy == 21) {
+verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_NEVER";
+} else if (this.verticalScrollBarPolicy == 22) {
+verticalScrollBarPolicyString = "VERTICAL_SCROLLBAR_ALWAYS";
+} else verticalScrollBarPolicyString = "";
+var horizontalScrollBarPolicyString;
+if (this.horizontalScrollBarPolicy == 30) {
+horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_AS_NEEDED";
+} else if (this.horizontalScrollBarPolicy == 31) {
+horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_NEVER";
+} else if (this.horizontalScrollBarPolicy == 32) {
+horizontalScrollBarPolicyString = "HORIZONTAL_SCROLLBAR_ALWAYS";
+} else horizontalScrollBarPolicyString = "";
+var horizontalScrollBarString = (this.horizontalScrollBar != null ? this.horizontalScrollBar.toString () : "");
+var verticalScrollBarString = (this.verticalScrollBar != null ? this.verticalScrollBar.toString () : "");
+var columnHeaderString = (this.columnHeader != null ? this.columnHeader.toString () : "");
+var rowHeaderString = (this.rowHeader != null ? this.rowHeader.toString () : "");
+var lowerLeftString = (this.lowerLeft != null ? this.lowerLeft.toString () : "");
+var lowerRightString = (this.lowerRight != null ? this.lowerRight.toString () : "");
+var upperLeftString = (this.upperLeft != null ? this.upperLeft.toString () : "");
+var upperRightString = (this.upperRight != null ? this.upperRight.toString () : "");
+return Clazz.superCall (this, javax.swing.JScrollPane, "paramString", []) + ",columnHeader=" + columnHeaderString + ",horizontalScrollBar=" + horizontalScrollBarString + ",horizontalScrollBarPolicy=" + horizontalScrollBarPolicyString + ",lowerLeft=" + lowerLeftString + ",lowerRight=" + lowerRightString + ",rowHeader=" + rowHeaderString + ",upperLeft=" + upperLeftString + ",upperRight=" + upperRightString + ",verticalScrollBar=" + verticalScrollBarString + ",verticalScrollBarPolicy=" + verticalScrollBarPolicyString + ",viewport=" + viewportString + ",viewportBorder=" + viewportBorderString;
+});
+c$.$JScrollPane$ScrollBar$ = function () {
+Clazz.pu$h(self.c$);
+c$ = Clazz.decorateAsClass (function () {
+Clazz.prepareCallback (this, arguments);
+this.unitIncrementSet = false;
+this.blockIncrementSet = false;
+Clazz.instantialize (this, arguments);
+}, javax.swing.JScrollPane, "ScrollBar", javax.swing.JScrollBar, javax.swing.plaf.UIResource);
+Clazz.makeConstructor (c$,
+function (a) {
+Clazz.superConstructor (this, javax.swing.JScrollPane.ScrollBar, [a]);
+this.putClientProperty ("JScrollBar.fastWheelScrolling", Boolean.TRUE);
+}, "~N");
+Clazz.defineMethod (c$, "setUnitIncrement",
+function (a) {
+this.unitIncrementSet = true;
+this.putClientProperty ("JScrollBar.fastWheelScrolling", null);
+Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "setUnitIncrement", [a]);
+}, "~N");
+Clazz.defineMethod (c$, "getUnitIncrement",
+function (a) {
+var b = this.b$["javax.swing.JScrollPane"].getViewport ();
+if (!this.unitIncrementSet && (b != null) && (Clazz.instanceOf (b.getView (), javax.swing.Scrollable))) {
+var c = (b.getView ());
+var d = b.getViewRect ();
+return c.getScrollableUnitIncrement (d, this.getOrientation (), a);
+} else {
+return Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "getUnitIncrement", [a]);
+}}, "~N");
+Clazz.defineMethod (c$, "setBlockIncrement",
+function (a) {
+this.blockIncrementSet = true;
+this.putClientProperty ("JScrollBar.fastWheelScrolling", null);
+Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "setBlockIncrement", [a]);
+}, "~N");
+Clazz.defineMethod (c$, "getBlockIncrement",
+function (a) {
+var b = this.b$["javax.swing.JScrollPane"].getViewport ();
+if (this.blockIncrementSet || b == null) {
+return Clazz.superCall (this, javax.swing.JScrollPane.ScrollBar, "getBlockIncrement", [a]);
+} else if (Clazz.instanceOf (b.getView (), javax.swing.Scrollable)) {
+var c = (b.getView ());
+var d = b.getViewRect ();
+return c.getScrollableBlockIncrement (d, this.getOrientation (), a);
+} else if (this.getOrientation () == 1) {
+return b.getExtentSize ().height;
+} else {
+return b.getExtentSize ().width;
+}}, "~N");
+c$ = Clazz.p0p ();
+};
+Clazz.defineStatics (c$,
+"$uiClassID", "ScrollPaneUI");
+});
git://source.jalview.org / jalviewjs.git / blobdiff