Searched refs:oldWidth (Results 1 - 7 of 7) sorted by relevance
/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/ |
H A D | BasicTableHeaderUI.java | 212 int oldWidth = resizingColumn.getWidth(); 220 oldWidth, newWidth); 540 int oldWidth, int newWidth) { 557 int diff = newWidth - oldWidth; 949 int oldWidth = resizingColumn.getWidth(); 950 int newWidth = oldWidth; 958 ui.changeColumnWidth(resizingColumn, th, oldWidth, newWidth); 538 changeColumnWidth(TableColumn resizingColumn, JTableHeader th, int oldWidth, int newWidth) argument
|
/openjdk7/jdk/src/windows/classes/sun/awt/windows/ |
H A D | WComponentPeer.java | 85 int oldWidth = -1; field in class:WComponentPeer 129 oldWidth = s.width; 151 paintPending = (width != oldWidth) || (height != oldHeight); 158 if ((width != oldWidth) || (height != oldHeight)) { 166 oldWidth = width;
|
/openjdk7/jdk/src/share/classes/javax/swing/ |
H A D | ScrollPaneLayout.java | 1058 int oldWidth = vsbR.width; 1074 available.width += oldWidth;
|
/openjdk7/jdk/src/solaris/classes/sun/awt/X11/ |
H A D | XWindow.java | 67 int oldWidth = -1; field in class:XWindow 1345 if ((width != oldWidth) || (height != oldHeight)) { 1348 oldWidth = width;
|
H A D | XChoicePeer.java | 172 int oldWidth = this.width; 175 if (unfurled && (oldX != this.x || oldY != this.y || oldWidth != this.width || oldHeight != this.height) ) {
|
/openjdk7/jdk/src/share/classes/java/awt/ |
H A D | Component.java | 2262 int oldWidth = this.width; 2280 resized = (oldWidth != this.width) || (oldHeight != this.height); 2300 repaintParentIfNeeded(oldX, oldY, oldWidth, oldHeight); 2307 private void repaintParentIfNeeded(int oldX, int oldY, int oldWidth, argument 2312 parent.repaint(oldX, oldY, oldWidth, oldHeight);
|
/openjdk7/jdk/src/share/classes/com/sun/java/swing/plaf/gtk/ |
H A D | Metacity.java | 1349 int oldWidth = getInt("width"); 1373 variables.put("width", oldWidth);
|
Completed in 60 milliseconds