diff options
| author | Dana Jansens <danakj@orodu.net> | 2002-09-09 22:09:38 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2002-09-09 22:09:38 +0000 |
| commit | ce5313528ead2692adfdfb41cf5e65dafcc0bc64 (patch) | |
| tree | 66ed31b7056952efaba5ced8215eb5c4476b3f1d /src/Screen.hh | |
| parent | 4128a7252dc09676a30861dba80a3d783a7b9f8c (diff) | |
bindable/disableable root/workspace menus
Diffstat (limited to 'src/Screen.hh')
| -rw-r--r-- | src/Screen.hh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index dee0a962..2511ae85 100644 --- a/src/Screen.hh +++ b/src/Screen.hh @@ -163,6 +163,8 @@ private: unsigned int handle_width, bevel_width, frame_width, border_width, resize_zones; + unsigned int root_menu_button, workspace_menu_button; + #ifdef HAVE_STRFTIME std::string strftime_format; #else // !HAVE_STRFTIME @@ -231,6 +233,10 @@ public: inline bool doWorkspaceWarping(void) const { return resource.workspace_warping; } inline int rootScrollDirection(void) const { return resource.root_scroll; } + inline unsigned int rootMenuButton(void) const + { return resource.root_menu_button; } + inline unsigned int workspaceMenuButton(void) const + { return resource.workspace_menu_button; } inline const GC &getOpGC(void) const { return opGC; } @@ -313,6 +319,8 @@ public: void saveAllowScrollLock(bool a); void saveWorkspaceWarping(bool w); void saveRootScrollDirection(int d); + void saveRootMenuButton(unsigned int b); + void saveWorkspaceMenuButton(unsigned int b); inline void iconUpdate(void) { iconmenu->update(); } #ifdef HAVE_STRFTIME |
