diff options
author | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-08 22:50:25 (GMT) |
---|---|---|
committer | Mark Tiefenbruck <mark@fluxbox.org> | 2008-09-08 22:50:25 (GMT) |
commit | 6b391c3beadc35c22c93c892c0bdcdd6a4448bb9 (patch) | |
tree | 129259406e1aea7495f3a080bab582bcae307397 /src/Screen.hh | |
parent | 39e0bdcbcc37f297e34a7b60623d05739710f870 (diff) | |
download | fluxbox_pavel-6b391c3beadc35c22c93c892c0bdcdd6a4448bb9.zip fluxbox_pavel-6b391c3beadc35c22c93c892c0bdcdd6a4448bb9.tar.bz2 |
update workspace names atoms/resources when adding a new workspace
also removed unnecessary items from default init file
Diffstat (limited to 'src/Screen.hh')
-rw-r--r-- | src/Screen.hh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 9800d19..ecf2f05 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -342,8 +342,6 @@ public: | |||
342 | void updateWorkspaceName(unsigned int w); | 342 | void updateWorkspaceName(unsigned int w); |
343 | /// remove all workspace names | 343 | /// remove all workspace names |
344 | void removeWorkspaceNames(); | 344 | void removeWorkspaceNames(); |
345 | /// update the workspace name atom | ||
346 | void updateWorkspaceNamesAtom(); | ||
347 | /// add a workspace name to the end of the workspace name list | 345 | /// add a workspace name to the end of the workspace name list |
348 | void addWorkspaceName(const char *name); | 346 | void addWorkspaceName(const char *name); |
349 | /// add a window to the icon list | 347 | /// add a window to the icon list |