203 |
old_y, /**< remember the old position (when maximizing). */ |
old_y, /**< remember the old position (when maximizing). */ |
204 |
old_width, /**< remember the old dimensions (when maximizing). */ |
old_width, /**< remember the old dimensions (when maximizing). */ |
205 |
old_height; /**< remember the old dimensions (when maximizing). */ |
old_height; /**< remember the old dimensions (when maximizing). */ |
206 |
|
int fs_x, /**< remember the old position (when switching to fullscreen). */ |
207 |
|
fs_y, /**< remember the old position (when switching to fullscreen). */ |
208 |
|
fs_width, /**< remember the old dimensions (when switching to fullscreen). */ |
209 |
|
fs_height, /**< remember the old dimensions (when switching to fullscreen). */ |
210 |
|
fs_win_layer; /**< remember the old layer (when switching to fullscreen). */ |
211 |
CARD32 margins[4]; /**< the space, the client wants to "reserve" at the desktop border, |
CARD32 margins[4]; /**< the space, the client wants to "reserve" at the desktop border, |
212 |
for example the gnome panel does this. */ |
for example the gnome panel does this. */ |
213 |
int button_pressed[BUTTON_COUNT]; |
int button_pressed[BUTTON_COUNT]; |