diff options
author | markt <markt> | 2007-07-07 01:56:46 (GMT) |
---|---|---|
committer | markt <markt> | 2007-07-07 01:56:46 (GMT) |
commit | 18cd70f74999b85ea5d35fc95fad3fdf33f1831e (patch) | |
tree | 7a149c79982a1eaa43aed5773cecfd482e426b8e /src/Screen.cc | |
parent | d39a5489b18ef28f21ba910c76cba8f1342bc97c (diff) | |
download | fluxbox_pavel-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.zip fluxbox_pavel-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.tar.bz2 |
save workspace names, and some fixes for menu behavior
Diffstat (limited to 'src/Screen.cc')
-rw-r--r-- | src/Screen.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/Screen.cc b/src/Screen.cc index dfa986e..a37b594 100644 --- a/src/Screen.cc +++ b/src/Screen.cc | |||
@@ -1036,6 +1036,14 @@ void BScreen::rereadMenu() { | |||
1036 | m_rootmenu->reconfigure(); | 1036 | m_rootmenu->reconfigure(); |
1037 | } | 1037 | } |
1038 | 1038 | ||
1039 | void BScreen::updateWorkspaceName(unsigned int w) { | ||
1040 | Workspace *space = getWorkspace(w); | ||
1041 | if (space) { | ||
1042 | m_workspace_names[w] = space->name(); | ||
1043 | updateWorkspaceNamesAtom(); | ||
1044 | Fluxbox::instance()->save_rc(); | ||
1045 | } | ||
1046 | } | ||
1039 | 1047 | ||
1040 | void BScreen::removeWorkspaceNames() { | 1048 | void BScreen::removeWorkspaceNames() { |
1041 | m_workspace_names.clear(); | 1049 | m_workspace_names.clear(); |