Lines Matching defs:window
44 public void setState(XWindowPeer window, int state) {
45 if (window.isShowing()) {
48 * _WIN_STATE ClientMessage to root window.
61 req.set_window(window.getWindow());
71 window.getScreenNumber()),
83 * WIN_STATE property on the window to the desired state before
87 long win_state = XA_WIN_STATE.getCard32Property(window);
114 if (log.isLoggable(PlatformLogger.FINE)) log.fine("Setting WIN_STATE on " + window + " to change the state to " + win_state);
115 XA_WIN_STATE.setCard32Property(window, win_state);
120 public int getState(XWindowPeer window) {
121 long win_state = XA_WIN_STATE.getCard32Property(window);
136 public void unshadeKludge(XWindowPeer window) {
137 long win_state = XA_WIN_STATE.getCard32Property(window);
142 XA_WIN_STATE.setCard32Property(window, win_state);
149 public void setLayer(XWindowPeer window, int layer) {
150 if (window.isShowing()) {
153 req.set_window(window.getWindow());
164 window.getScreenNumber()),
175 XA_WIN_LAYER.setCard32Property(window, layer == LAYER_NORMAL ? WIN_LAYER_NORMAL : WIN_LAYER_ONTOP);
184 final static int WIN_STATE_MAXIMIZED_VERT =(1<<2); /* window in maximized V state */
185 final static int WIN_STATE_MAXIMIZED_HORIZ =(1<<3); /* window in maximized H state */
186 final static int WIN_STATE_HIDDEN =(1<<4); /* not on taskbar but window visible*/