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/Workspacemenu.hh | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/Workspacemenu.hh')

diff --git a/src/Workspacemenu.hh b/src/Workspacemenu.hh
index 28052a9f..15269844 100644
--- a/src/Workspacemenu.hh
+++ b/src/Workspacemenu.hh
@@ -29,6 +29,7 @@
 // forward declaration
 class Workspacemenu;
 class Toolbar;
+class Workspace;
 
 class Workspacemenu : public Basemenu {
 private:
@@ -40,6 +41,10 @@ protected:
 
 public:
   Workspacemenu(BScreen *scrn);
+
+  void changeWorkspaceLabel(unsigned int index, const std::string& label);
+  void insertWorkspace(Workspace *wkspc);
+  void removeWorkspace(Workspace *wkspc);
 };
 
 
-- 
cgit v1.2.3