Lines Matching defs:dims
505 void handleMoved(WindowDimensions dims) {
506 Point loc = dims.getLocation();
562 void updateSizeHints(WindowDimensions dims) {
563 Rectangle rec = dims.getClientRect();
672 WindowDimensions dims = new WindowDimensions(dimensions);
677 dims.setLocation(x, y);
682 dims.setSize(width, height);
689 dims.setClientSize(width, height);
694 dims.setLocation(x, y);
695 dims.setSize(width, height);
700 operationToString(operation), dims);
703 reshape(dims, operation, userReshape);
724 void reconfigureContentWindow(WindowDimensions dims) {
729 content.setContentBounds(dims);