diff options
| author | Dana Jansens <danakj@orodu.net> | 2002-07-14 20:54:03 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2002-07-14 20:54:03 +0000 |
| commit | 90dbcb271c5e6d7ca73c19a519b93885b833db0a (patch) | |
| tree | df98b2ed99b8dd6546be1d7d03221ee6d54e6ea4 /src/Screen.hh | |
| parent | c6a826bf663d3cb286025642f5e2a725b5d1c660 (diff) | |
properly handle workspace names, and changes to them.
Diffstat (limited to 'src/Screen.hh')
| -rw-r--r-- | src/Screen.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index d2175ce4..37946b99 100644 --- a/src/Screen.hh +++ b/src/Screen.hh @@ -344,6 +344,7 @@ public: void hideGeometry(void); void buttonPressEvent(const XButtonEvent *xbutton); + void propertyNotifyEvent(const XPropertyEvent *pe); void updateNetizenCurrentWorkspace(void); void updateNetizenWorkspaceCount(void); |