Lines Matching defs:width
126 native void getWindowBounds(long window, long x, long y, long width, long height);
493 public void repaint(int x,int y, int width, int height) {
500 g.setClip(x,y,width,height);
535 public void popup(int x, int y, int width, int height) {
537 xSetBounds(x, y, width, height);
983 public void doLayout(int x, int y, int width, int height) {}
1281 reshape(bounds.x, bounds.y, bounds.width, bounds.height);
1284 public void reshape(int x, int y, int width, int height) {
1285 if (width <= 0) {
1286 width = 1;
1293 this.width = width;
1295 xSetBounds(x, y, width, height);
1319 updateSizeHints(x, y, width, height);
1322 void updateSizeHints(int x, int y, int width, int height) {
1330 setSizeHints(flags, x, y, width, height);
1341 setSizeHints(flags, x, y, width, height);
1345 if ((width != oldWidth) || (height != oldHeight)) {
1348 oldWidth = width;