From 90dbcb271c5e6d7ca73c19a519b93885b833db0a Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Sun, 14 Jul 2002 20:54:03 +0000
Subject: properly handle workspace names, and changes to them.

---
 src/Screen.hh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Screen.hh')

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);
-- 
cgit v1.2.3