src/WindowMaker.h

   1 /*
   2  *  Window Maker window manager
   3  *
   4  *  Copyright (c) 1997-2003 Alfredo K. Kojima
   5  *  Copyright (c) 2014 Window Maker Team
   6  *
   7  *  This program is free software; you can redistribute it and/or modify
   8  *  it under the terms of the GNU General Public License as published by
   9  *  the Free Software Foundation; either version 2 of the License, or
  10  *  (at your option) any later version.
  11  *
  12  *  This program is distributed in the hope that it will be useful,
  13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15  *  GNU General Public License for more details.
  16  *
  17  *  You should have received a copy of the GNU General Public License along
  18  *  with this program; if not, write to the Free Software Foundation, Inc.,
  19  *  51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  20  */
  21
  22 #ifndef WINDOWMAKER_H_
  23 #define WINDOWMAKER_H_
  24
  25 #include "wconfig.h"
  26 #include <assert.h>
  27 #include <limits.h>
  28 #include <WINGs/WINGs.h>
  29
  30
  31 /* class codes */
  32 typedef enum {
  33         WCLASS_UNKNOWN = 0,
  34         WCLASS_WINDOW = 1,          /* managed client windows */
  35         WCLASS_MENU = 2,            /* root menus */
  36         WCLASS_APPICON = 3,
  37         WCLASS_DUMMYWINDOW = 4,     /* window that holds window group leader */
  38         WCLASS_MINIWINDOW = 5,
  39         WCLASS_DOCK_ICON = 6,
  40         WCLASS_PAGER = 7,
  41         WCLASS_TEXT_INPUT = 8,
  42         WCLASS_FRAME = 9
  43 } WClassType;
  44
  45
  46 /*
  47  * generic window levels (a superset of the N*XTSTEP ones)
  48  * Applications should use levels between WMDesktopLevel and
  49  * WMScreensaverLevel anything boyond that range is allowed,
  50  * but discouraged.
  51  */
  52 enum {
  53         WMBackLevel = INT_MIN+1,    /* Very lowest level */
  54         WMDesktopLevel = -1000,     /* Lowest level of normal use */
  55         WMSunkenLevel = -1,
  56         WMNormalLevel = 0,
  57         WMFloatingLevel = 3,
  58         WMDockLevel = 5,
  59         WMSubmenuLevel = 15,
  60         WMMainMenuLevel = 20,
  61         WMStatusLevel = 21,
  62         WMFullscreenLevel = 50,
  63         WMModalLevel = 100,
  64         WMPopUpLevel = 101,
  65         WMScreensaverLevel = 1000,
  66         WMOuterSpaceLevel = INT_MAX
  67 };
  68
  69 /*
  70  * WObjDescriptor will be used by the event dispatcher to
  71  * send events to a particular object through the methods in the
  72  * method table. If all objects of the same class share the
  73  * same methods, the class method table should be used, otherwise
  74  * a new method table must be created for each object.
  75  * It is also assigned to find the parent structure of a given
  76  * window (like the WWindow or WMenu for a button)
  77  */
  78
  79 typedef struct WObjDescriptor {
  80         void *self;                        /* the object that will be called */
  81         /* event handlers */
  82         void (*handle_expose)(struct WObjDescriptor *sender, XEvent *event);
  83         void (*handle_mousedown)(struct WObjDescriptor *sender, XEvent *event);
  84         void (*handle_enternotify)(struct WObjDescriptor *sender, XEvent *event);
  85         void (*handle_leavenotify)(struct WObjDescriptor *sender, XEvent *event);
  86
  87         WClassType parent_type;            /* type code of the parent */
  88         void *parent;                      /* parent object (WWindow or WMenu) */
  89 } WObjDescriptor;
  90
  91 /* internal buttons */
  92 #define WBUT_CLOSE              0
  93 #define WBUT_BROKENCLOSE        1
  94 #define WBUT_ICONIFY            2
  95 #define WBUT_KILL               3
  96 #ifdef XKB_BUTTON_HINT
  97 #define WBUT_XKBGROUP1          4
  98 #define WBUT_XKBGROUP2          5
  99 #define WBUT_XKBGROUP3          6
 100 #define WBUT_XKBGROUP4          7
 101 #define PRED_BPIXMAPS           8 /* reserved for 4 groups */
 102 #else
 103 #define PRED_BPIXMAPS           4 /* count of WBUT icons */
 104 #endif /* XKB_BUTTON_HINT */
 105
 106 /* Mouse cursors */
 107 typedef enum {
 108         WCUR_NORMAL,
 109         WCUR_MOVE,
 110         WCUR_RESIZE,
 111         WCUR_TOPLEFTRESIZE,
 112         WCUR_TOPRIGHTRESIZE,
 113         WCUR_BOTTOMLEFTRESIZE,
 114         WCUR_BOTTOMRIGHTRESIZE,
 115         WCUR_VERTICALRESIZE,
 116         WCUR_HORIZONRESIZE,
 117         WCUR_WAIT,
 118         WCUR_ARROW,
 119         WCUR_QUESTION,
 120         WCUR_TEXT,
 121         WCUR_SELECT,
 122         WCUR_ROOT,
 123         WCUR_EMPTY,
 124
 125         /* Count of the number of cursors defined */
 126         WCUR_LAST
 127 } w_cursor;
 128
 129 /* geometry displays */
 130 #define WDIS_NEW                0       /* new style */
 131 #define WDIS_CENTER             1       /* center of screen */
 132 #define WDIS_TOPLEFT            2       /* top left corner of screen */
 133 #define WDIS_FRAME_CENTER       3       /* center of the frame */
 134 #define WDIS_NONE               4
 135
 136 /* keyboard input focus mode */
 137 #define WKF_CLICK       0
 138 #define WKF_SLOPPY      2
 139
 140 /* colormap change mode */
 141 #define WCM_CLICK       0
 142 #define WCM_POINTER     1
 143
 144 /* window placement mode */
 145 #define WPM_MANUAL      0
 146 #define WPM_CASCADE     1
 147 #define WPM_SMART       2
 148 #define WPM_RANDOM      3
 149 #define WPM_AUTO        4
 150 #define WPM_CENTER      5
 151
 152 /* text justification */
 153 #define WTJ_CENTER      0
 154 #define WTJ_LEFT        1
 155 #define WTJ_RIGHT       2
 156
 157 /* iconification styles */
 158 #define WIS_ZOOM        0
 159 #define WIS_TWIST       1
 160 #define WIS_FLIP        2
 161 #define WIS_NONE        3
 162 #define WIS_RANDOM      4 /* secret */
 163
 164 /* switchmenu actions */
 165 #define ACTION_ADD              0
 166 #define ACTION_REMOVE           1
 167 #define ACTION_CHANGE           2
 168 #define ACTION_CHANGE_WORKSPACE 3
 169 #define ACTION_CHANGE_STATE     4
 170
 171
 172 /* speeds */
 173 #define SPEED_ULTRAFAST 0
 174 #define SPEED_FAST      1
 175 #define SPEED_MEDIUM    2
 176 #define SPEED_SLOW      3
 177 #define SPEED_ULTRASLOW 4
 178
 179
 180 /* window states */
 181 #define WS_FOCUSED      0
 182 #define WS_UNFOCUSED    1
 183 #define WS_PFOCUSED     2
 184
 185 /* clip title colors */
 186 #define CLIP_NORMAL     0
 187 #define CLIP_COLLAPSED  1
 188
 189
 190 /* icon yard position */
 191 #define IY_VERT         1
 192 #define IY_HORIZ        0
 193 #define IY_TOP          2
 194 #define IY_BOTTOM       0
 195 #define IY_RIGHT        4
 196 #define IY_LEFT         0
 197
 198
 199 /* menu styles */
 200 #define MS_NORMAL               0
 201 #define MS_SINGLE_TEXTURE       1
 202 #define MS_FLAT                 2
 203
 204 /* workspace actions */
 205 #define WA_NONE                 0
 206 #define WA_SELECT_WINDOWS       1
 207 #define WA_OPEN_APPMENU         2
 208 #define WA_OPEN_WINLISTMENU     3
 209 #define WA_SWITCH_WORKSPACES    4
 210 #define WA_MOVE_PREVWORKSPACE   5
 211 #define WA_MOVE_NEXTWORKSPACE   6
 212 #define WA_SWITCH_WINDOWS       7
 213 #define WA_MOVE_PREVWINDOW      8
 214 #define WA_MOVE_NEXTWINDOW      9
 215
 216 /* workspace display position */
 217 #define WD_NONE         0
 218 #define WD_CENTER       1
 219 #define WD_TOP          2
 220 #define WD_BOTTOM       3
 221 #define WD_TOPLEFT      4
 222 #define WD_TOPRIGHT     5
 223 #define WD_BOTTOMLEFT   6
 224 #define WD_BOTTOMRIGHT  7
 225
 226 /* titlebar style */
 227 #define TS_NEW          0
 228 #define TS_OLD          1
 229 #define TS_NEXT         2
 230
 231 /* workspace border position */
 232 #define WB_NONE         0
 233 #define WB_LEFTRIGHT    1
 234 #define WB_TOPBOTTOM    2
 235 #define WB_ALLDIRS      (WB_LEFTRIGHT|WB_TOPBOTTOM)
 236
 237 /* drag maximized window behaviors */
 238 enum {
 239         DRAGMAX_MOVE,
 240         DRAGMAX_RESTORE,
 241         DRAGMAX_UNMAXIMIZE,
 242         DRAGMAX_NOMOVE
 243 };
 244
 245 /* program states */
 246 typedef enum {
 247         WSTATE_NORMAL           = 0,
 248         WSTATE_NEED_EXIT        = 1,
 249         WSTATE_NEED_RESTART     = 2,
 250         WSTATE_EXITING          = 3,
 251         WSTATE_RESTARTING       = 4,
 252         WSTATE_MODAL            = 5,
 253         WSTATE_NEED_REREAD      = 6
 254 } wprog_state;
 255
 256
 257 #define WCHECK_STATE(chk_state) (w_global.program.state == (chk_state))
 258
 259
 260 #define WCHANGE_STATE(nstate) {\
 261                 if (w_global.program.state == WSTATE_NORMAL             \
 262                     || (nstate) != WSTATE_MODAL)                        \
 263                         w_global.program.state = (nstate);              \
 264                 if (w_global.program.signal_state != 0)                 \
 265                         w_global.program.state = w_global.program.signal_state; \
 266 }
 267
 268
 269 /* only call inside signal handlers, with signals blocked */
 270 #define SIG_WCHANGE_STATE(nstate) {\
 271                 w_global.program.signal_state = (nstate);       \
 272                 w_global.program.state = (nstate);              \
 273 }
 274
 275
 276 /* Flags for the Window Maker state when restarting/crash situations */
 277 #define WFLAGS_NONE       (0)
 278 #define WFLAGS_CRASHED    (1<<0)
 279
 280
 281 /* notifications */
 282
 283 #ifdef MAINFILE
 284 #define NOTIFICATION(n) const char WN##n [] = #n
 285 #else
 286 #define NOTIFICATION(n) extern const char WN##n []
 287 #endif
 288
 289 NOTIFICATION(WindowAppearanceSettingsChanged);
 290
 291 NOTIFICATION(IconAppearanceSettingsChanged);
 292
 293 NOTIFICATION(IconTileSettingsChanged);
 294
 295 NOTIFICATION(MenuAppearanceSettingsChanged);
 296
 297 NOTIFICATION(MenuTitleAppearanceSettingsChanged);
 298
 299
 300 /* appearance settings clientdata flags */
 301 enum {
 302         WFontSettings = 1 << 0,
 303         WTextureSettings = 1 << 1,
 304         WColorSettings = 1 << 2
 305 };
 306
 307
 308
 309 typedef struct {
 310         int x1, y1;
 311         int x2, y2;
 312 } WArea;
 313
 314 typedef struct WCoord {
 315         int x, y;
 316 } WCoord;
 317
 318 extern struct WPreferences {
 319         char *pixmap_path;                 /* : separated list of paths to find pixmaps */
 320         char *icon_path;                   /* : separated list of paths to find icons */
 321         WMArray *fallbackWMs;              /* fallback window manager list */
 322         char *logger_shell;                /* shell to log child stdi/o */
 323         RImage *button_images;             /* titlebar button images */
 324         char smooth_workspace_back;
 325         signed char size_display;          /* display type for resize geometry */
 326         signed char move_display;          /* display type for move geometry */
 327         signed char window_placement;      /* window placement mode */
 328         signed char colormap_mode;         /* colormap focus mode */
 329         signed char focus_mode;            /* window focusing mode */
 330
 331         char opaque_move;                  /* update window position during move */
 332         char opaque_resize;                /* update window position during resize */
 333         char opaque_move_resize_keyboard;  /* update window position during move,resize with keyboard */
 334         char wrap_menus;                   /* wrap menus at edge of screen */
 335         char scrollable_menus;             /* let them be scrolled */
 336         char vi_key_menus;                 /* use h/j/k/l to select */
 337         char align_menus;                  /* align menu with their parents */
 338         char use_saveunders;               /* turn on SaveUnders for menus, icons etc. */
 339         char no_window_over_dock;
 340         char no_window_over_icons;
 341         WCoord window_place_origin;        /* Offset for windows placed on screen */
 342
 343         char constrain_window_size;        /* don't let windows get bigger than screen */
 344         char windows_cycling;              /* windoze cycling */
 345         char circ_raise;                   /* raise window after Alt-tabbing */
 346         char ignore_focus_click;
 347         char open_transients_with_parent;  /* open transient window in same workspace as parent */
 348         signed char title_justification;   /* titlebar text alignment */
 349         int window_title_clearance;
 350         int window_title_min_height;
 351         int window_title_max_height;
 352         int menu_title_clearance;
 353         int menu_title_min_height;
 354         int menu_title_max_height;
 355         int menu_text_clearance;
 356         char multi_byte_text;
 357 #ifdef KEEP_XKB_LOCK_STATUS
 358         char modelock;
 359 #endif
 360         char no_dithering;                 /* use dithering or not */
 361         char no_animations;                /* enable/disable animations */
 362         char no_autowrap;                  /* wrap workspace when window is moved to the edge */
 363         char window_snapping;              /* enable window snapping */
 364         int snap_edge_detect;              /* how far from edge to begin snap */
 365         int snap_corner_detect;            /* how far from corner to begin snap */
 366         char snap_to_top_maximizes_fullscreen;
 367         char drag_maximized_window;        /* behavior when a maximized window is dragged */
 368         char move_half_max_between_heads;  /* move half maximized window between available heads */
 369         char alt_half_maximize;            /* alternative half-maximize feature behavior */
 370
 371         char highlight_active_app;         /* show the focused app by highlighting its icon */
 372         char auto_arrange_icons;           /* automagically arrange icons */
 373         char icon_box_position;            /* position to place icons */
 374         signed char iconification_style;   /* position to place icons */
 375         char disable_root_mouse;           /* disable button events in root window */
 376         char auto_focus;                   /* focus window when it's mapped */
 377         char *icon_back_file;              /* background image for icons */
 378
 379         WCoord *root_menu_pos;             /* initial position of the root menu*/
 380         WCoord *app_menu_pos;
 381         WCoord *win_menu_pos;
 382
 383         signed char icon_yard;             /* aka iconbox */
 384
 385         int raise_delay;                   /* delay for autoraise. 0 is disabled */
 386         int cmap_size;                     /* size of dithering colormap in colors per channel */
 387
 388         int icon_size;                     /* size of the icon */
 389         signed char menu_style;            /* menu decoration style */
 390         signed char workspace_name_display_position;
 391         unsigned int modifier_mask;        /* mask to use as kbd modifier */
 392         char *modifier_labels[7];          /* Names of the modifiers */
 393
 394         unsigned int supports_tiff;        /* Use tiff files */
 395
 396         char ws_advance;                   /* Create new workspace and advance */
 397         char ws_cycle;                     /* Cycle existing workspaces */
 398         char save_session_on_exit;         /* automatically save session on exit */
 399         char sticky_icons;                 /* If miniwindows will be onmipresent */
 400         char dont_confirm_kill;            /* do not confirm Kill application */
 401         char disable_miniwindows;
 402         char enable_workspace_pager;
 403         char ignore_gtk_decoration_hints;
 404
 405         char dont_blink;                   /* do not blink icon selection */
 406
 407         /* Appearance options */
 408         char new_style;                    /* Use newstyle buttons */
 409         char superfluous;                  /* Use superfluous things */
 410
 411         /* root window mouse bindings */
 412         signed char mouse_button1;         /* action for left mouse button */
 413         signed char mouse_button2;         /* action for middle mouse button */
 414         signed char mouse_button3;         /* action for right mouse button */
 415         signed char mouse_button8;         /* action for 4th button aka backward mouse button */
 416         signed char mouse_button9;         /* action for 5th button aka forward mouse button */
 417         signed char mouse_wheel_scroll;    /* action for mouse wheel scroll */
 418         signed char mouse_wheel_tilt;      /* action for mouse wheel tilt */
 419
 420         /* balloon text */
 421         char window_balloon;
 422         char miniwin_title_balloon;
 423         char miniwin_preview_balloon;
 424         char appicon_balloon;
 425         char help_balloon;
 426
 427         /* some constants */
 428         int dblclick_time;                 /* double click delay time in ms */
 429
 430         /* animate menus */
 431         signed char menu_scroll_speed;     /* how fast menus are scrolled */
 432
 433         /* animate icon sliding */
 434         signed char icon_slide_speed;      /* icon slide animation speed */
 435
 436         /* shading animation */
 437         signed char shade_speed;
 438
 439         /* bouncing animation */
 440         char bounce_appicons_when_urgent;
 441         char raise_appicons_when_bouncing;
 442         char do_not_make_appicons_bounce;
 443
 444         int edge_resistance;
 445         int resize_increment;
 446         char attract;
 447
 448         unsigned int workspace_border_size; /* Size in pixels of the workspace border */
 449         char workspace_border_position;     /* Where to leave a workspace border */
 450         char single_click;                  /* single click to lauch applications */
 451         int history_lines;                  /* history of "Run..." dialog */
 452         char cycle_active_head_only;        /* Cycle only windows on the active head */
 453         char cycle_ignore_minimized;        /* Ignore minimized windows when cycling */
 454         char strict_windoze_cycle;          /* don't close switch panel when shift is released */
 455         char panel_only_open;               /* Only open the switch panel; don't switch */
 456         int minipreview_size;               /* Size of Mini-Previews in pixels */
 457
 458         /* All delays here are in ms. 0 means instant auto-action. */
 459         int clip_auto_raise_delay;          /* Delay after which the clip will be raised when entered */
 460         int clip_auto_lower_delay;          /* Delay after which the clip will be lowered when leaved */
 461         int clip_auto_expand_delay;         /* Delay after which the clip will expand when entered */
 462         int clip_auto_collapse_delay;       /* Delay after which the clip will collapse when leaved */
 463
 464         RImage *swtileImage;
 465         RImage *swbackImage[9];
 466
 467         union WTexture *wsmbackTexture;
 468
 469         char show_clip_title;
 470
 471         struct {
 472 #ifdef USE_ICCCM_WMREPLACE
 473                 unsigned int replace:1;               /* replace existing window manager */
 474 #endif
 475                 unsigned int nodock:1;                /* don't display the dock */
 476                 unsigned int noclip:1;                /* don't display the clip */
 477                 unsigned int clip_merged_in_dock:1;   /* disable clip, switch workspaces with dock */
 478                 unsigned int nodrawer:1;              /* don't use drawers */
 479                 unsigned int wrap_appicons_in_dock:1; /* Whether to wrap appicons when Dock is moved up and down */
 480                 unsigned int noupdates:1;             /* don't require ~/GNUstep (-static) */
 481                 unsigned int noautolaunch:1;          /* don't autolaunch apps */
 482                 unsigned int norestore:1;             /* don't restore session */
 483                 unsigned int restarting:2;
 484         } flags;                                      /* internal flags */
 485
 486         /* Map table between w_cursor and actual X id */
 487         Cursor cursor[WCUR_LAST];
 488
 489 } wPreferences;
 490
 491 /****** Global Variables  ******/
 492 extern Display  *dpy;
 493
 494 extern struct wmaker_global_variables {
 495         /* Tracking of the state of the program */
 496         struct {
 497                 wprog_state state;
 498                 wprog_state signal_state;
 499         } program;
 500
 501         /* locale to use. NULL==POSIX or C */
 502         const char *locale;
 503
 504         /* Tracking of X events timestamps */
 505         struct {
 506                 /* ts of the last event we received */
 507                 Time last_event;
 508
 509                 /* ts on the last time we did XSetInputFocus() */
 510                 Time focus_change;
 511
 512         } timestamp;
 513
 514         /* Global Domains, for storing dictionaries */
 515         struct {
 516                 /* Note: you must #include <defaults.h> if you want to use them */
 517                 struct WDDomain *wmaker;
 518                 struct WDDomain *window_attr;
 519                 struct WDDomain *root_menu;
 520         } domain;
 521
 522         /* Screens related */
 523         int screen_count;
 524
 525         /*
 526          * Ignore Workspace Change:
 527          * this variable is used to prevent workspace switch while certain
 528          * operations are ongoing.
 529          */
 530         Bool ignore_workspace_change;
 531
 532         /*
 533          * Process WorkspaceMap Event:
 534          * this variable is set when the Workspace Map window is being displayed,
 535          * it is mainly used to avoid re-opening another one at the same time
 536          */
 537         Bool process_workspacemap_event;
 538
 539 #ifdef HAVE_INOTIFY
 540         struct {
 541                 int fd_event_queue;   /* Inotify's queue file descriptor */
 542                 int wd_defaults;   /* Watch Descriptor for the 'Defaults' configuration file */
 543         } inotify;
 544 #endif
 545
 546         /* definition for X Atoms */
 547         struct {
 548
 549                 /* Window-Manager related */
 550                 struct {
 551                         Atom state;
 552                         Atom change_state;
 553                         Atom protocols;
 554                         Atom take_focus;
 555                         Atom delete_window;
 556                         Atom save_yourself;
 557                         Atom client_leader;
 558                         Atom colormap_windows;
 559                         Atom colormap_notify;
 560                         Atom ignore_focus_events;
 561                 } wm;
 562
 563                 /* GNUStep related */
 564                 struct {
 565                         Atom wm_attr;
 566                         Atom wm_miniaturize_window;
 567                         Atom wm_resizebar;
 568                         Atom titlebar_state;
 569                 } gnustep;
 570
 571                 /* Destkop-environment related */
 572                 struct {
 573                         Atom gtk_object_path;
 574                 } desktop;
 575
 576                 /* WindowMaker specific */
 577                 struct {
 578                         Atom menu;
 579                         Atom wm_protocols;
 580                         Atom state;
 581
 582                         Atom wm_function;
 583                         Atom noticeboard;
 584                         Atom command;
 585
 586                         Atom icon_size;
 587                         Atom icon_tile;
 588                 } wmaker;
 589
 590         } atom;
 591
 592         /* X Contexts */
 593         struct {
 594                 XContext client_win;
 595                 XContext app_win;
 596                 XContext stack;
 597         } context;
 598
 599         /* X Extensions */
 600         struct {
 601 #ifdef USE_XSHAPE
 602                 struct {
 603                         Bool supported;
 604                         int event_base;
 605                 } shape;
 606 #endif
 607
 608 #ifdef KEEP_XKB_LOCK_STATUS
 609                 struct {
 610                         Bool supported;
 611                         int event_base;
 612                 } xkb;
 613 #endif
 614
 615 #ifdef USE_RANDR
 616                 struct {
 617                         Bool supported;
 618                         int event_base;
 619                 } randr;
 620 #endif
 621
 622                 /*
 623                  * If no extension were activated, we would end up with an empty
 624                  * structure, which old compilers may not appreciate, so let's
 625                  * work around this with a simple:
 626                  */
 627                 int dummy;
 628         } xext;
 629
 630         /* Keyboard and shortcuts */
 631         struct {
 632                 /*
 633                  * Bit-mask to hide special key modifiers which we don't want to
 634                  * impact the shortcuts (typically: CapsLock, NumLock, ScrollLock)
 635                  */
 636                 unsigned int modifiers_mask;
 637         } shortcut;
 638 } w_global;
 639
 640 /****** Notifications ******/
 641 extern const char WMNManaged[];
 642 extern const char WMNUnmanaged[];
 643 extern const char WMNChangedWorkspace[];
 644 extern const char WMNChangedState[];
 645 extern const char WMNChangedFocus[];
 646 extern const char WMNChangedStacking[];
 647 extern const char WMNChangedName[];
 648
 649 extern const char WMNWorkspaceCreated[];
 650 extern const char WMNWorkspaceDestroyed[];
 651 extern const char WMNWorkspaceChanged[];
 652 extern const char WMNWorkspaceNameChanged[];
 653
 654 extern const char WMNResetStacking[];
 655
 656 #endif