diff options
author | fluxgen <fluxgen> | 2002-02-28 15:44:39 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2002-02-28 15:44:39 (GMT) |
commit | 34b2b9637be9daf8fe51ad83dc1796c2cb071527 (patch) | |
tree | 04a26eee0052a0cc7a63145452e199244abdb978 /src/Workspacemenu.cc | |
parent | 4921925c17eb45bff61c61bd7d16590b5bf38bbb (diff) | |
download | fluxbox_pavel-34b2b9637be9daf8fe51ad83dc1796c2cb071527.zip fluxbox_pavel-34b2b9637be9daf8fe51ad83dc1796c2cb071527.tar.bz2 |
removed add/removeWorkspace and fixed indent
Diffstat (limited to 'src/Workspacemenu.cc')
-rw-r--r-- | src/Workspacemenu.cc | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/Workspacemenu.cc b/src/Workspacemenu.cc index dace287..05f5072 100644 --- a/src/Workspacemenu.cc +++ b/src/Workspacemenu.cc | |||
@@ -86,18 +86,3 @@ void Workspacemenu::itemSelected(int button, int index) { | |||
86 | } | 86 | } |
87 | } | 87 | } |
88 | 88 | ||
89 | void Workspacemenu::removeWorkspace(unsigned int id) { | ||
90 | if (id<getCount()) { | ||
91 | remove(id+2); // + 2 is where workspaces starts | ||
92 | #ifdef DEBUG | ||
93 | using namespace std; | ||
94 | cerr<<__FILE__<<"("<<__LINE__<<"): Removing "<<id<<endl; | ||
95 | #endif | ||
96 | } | ||
97 | } | ||
98 | |||
99 | void Workspacemenu::addWorkspace(Workspace *wkspc) { | ||
100 | assert(wkspc); | ||
101 | insert(wkspc->getName(), wkspc->getMenu(), | ||
102 | wkspc->getWorkspaceID() + 2); | ||
103 | } | ||