diff options
| author | markt <markt> | 2007-07-07 01:59:38 (GMT) |
|---|---|---|
| committer | markt <markt> | 2007-07-07 01:59:38 (GMT) |
| commit | 0a316695e88299dfbcfa88c1f07786581e1cfb0f (patch) | |
| tree | 2d15dbe6e744a25dc33d2589c4dfe09838887b15 /src/Workspace.cc | |
| parent | 27b8fe8270c5b7edcddc42134459500b00d47d4b (diff) | |
| download | fluxbox-0a316695e88299dfbcfa88c1f07786581e1cfb0f.zip fluxbox-0a316695e88299dfbcfa88c1f07786581e1cfb0f.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 a52a211..2933ab5 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
| @@ -182,7 +182,7 @@ void Workspace::setName(const string &name) { | |||
| 182 | m_name = tname; | 182 | m_name = tname; |
| 183 | } | 183 | } |
| 184 | 184 | ||
| 185 | screen().updateWorkspaceNamesAtom(); | 185 | screen().updateWorkspaceName(m_id); |
| 186 | 186 | ||
| 187 | menu().setLabel(m_name); | 187 | menu().setLabel(m_name); |
| 188 | menu().updateMenu(); | 188 | menu().updateMenu(); |