Searched refs:oldWidth (Results 1 - 7 of 7) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/plaf/basic/
H A DBasicTableHeaderUI.java212 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 DWComponentPeer.java85 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 DScrollPaneLayout.java1058 int oldWidth = vsbR.width;
1074 available.width += oldWidth;
/openjdk7/jdk/src/solaris/classes/sun/awt/X11/
H A DXWindow.java67 int oldWidth = -1; field in class:XWindow
1345 if ((width != oldWidth) || (height != oldHeight)) {
1348 oldWidth = width;
H A DXChoicePeer.java172 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 DComponent.java2262 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 DMetacity.java1349 int oldWidth = getInt("width");
1373 variables.put("width", oldWidth);

Completed in 77 milliseconds