+
+
+void Workspacemenu::changeWorkspaceLabel(unsigned int index,
+ const std::string& label) {
+ // add 2 because the workspace menu has 2 extra items at the top before the
+ // list of the workspace names
+ changeItemLabel(index + 2, label);
+}
+
+
+void Workspacemenu::insertWorkspace(Workspace *wkspc) {
+ assert(wkspc);
+ // add 2 because the workspace menu has 2 extra items at the top before the
+ // list of the workspace names
+ insert(wkspc->getName(), wkspc->getMenu(), wkspc->getID() + 2);
+}
+
+
+void Workspacemenu::removeWorkspace(Workspace *wkspc) {
+ assert(wkspc);
+ // add 2 because the workspace menu has 2 extra items at the top before the
+ // list of the workspace names
+ remove(wkspc->getID() + 2);
+}