Searched defs:oldWidth (Results 1 - 4 of 4) 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/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;
|
/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);
|
Completed in 64 milliseconds