properly handle workspace names, and changes to them.

1 files changed, 5 insertions, 0 deletions

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);
 };