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/Workspace.cc | |
| parent | d39a5489b18ef28f21ba910c76cba8f1342bc97c (diff) | |
| download | fluxbox-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.zip fluxbox-18cd70f74999b85ea5d35fc95fad3fdf33f1831e.tar.bz2 | |
save workspace names, and some fixes for menu behavior
Diffstat (limited to 'src/Workspace.cc')
| -rw-r--r-- | src/Workspace.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Workspace.cc b/src/Workspace.cc index 888c20a..35fcf54 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
| @@ -382,7 +382,7 @@ void Workspace::setName(const string &name) { | |||
| 382 | m_name = tname; | 382 | m_name = tname; |
| 383 | } | 383 | } |
| 384 | 384 | ||
| 385 | screen().updateWorkspaceNamesAtom(); | 385 | screen().updateWorkspaceName(m_id); |
| 386 | 386 | ||
| 387 | menu().setLabel(m_name); | 387 | menu().setLabel(m_name); |
| 388 | menu().updateMenu(); | 388 | menu().updateMenu(); |