diff options
author | markt <markt> | 2007-01-26 21:57:43 (GMT) |
---|---|---|
committer | markt <markt> | 2007-01-26 21:57:43 (GMT) |
commit | c0bfde4aca594edc69a59ee36a7a6bbc9fa47a5d (patch) | |
tree | 3dc9883cecf95eed5970d0891b601ac54e1074a0 /src/Workspace.cc | |
parent | e35670d4a6a1ace394ff13cae39e41c2171b9054 (diff) | |
download | fluxbox_pavel-c0bfde4aca594edc69a59ee36a7a6bbc9fa47a5d.zip fluxbox_pavel-c0bfde4aca594edc69a59ee36a7a6bbc9fa47a5d.tar.bz2 |
fix some crashes with empty menus, and fixed default workspace names
Diffstat (limited to 'src/Workspace.cc')
-rw-r--r-- | src/Workspace.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Workspace.cc b/src/Workspace.cc index 236aadb..caeb662 100644 --- a/src/Workspace.cc +++ b/src/Workspace.cc | |||
@@ -376,6 +376,7 @@ void Workspace::setName(const string &name) { | |||
376 | _FB_XTEXT(Workspace, DefaultNameFormat, | 376 | _FB_XTEXT(Workspace, DefaultNameFormat, |
377 | "Workspace %d", "Default workspace names, with a %d for the workspace number").c_str(), | 377 | "Workspace %d", "Default workspace names, with a %d for the workspace number").c_str(), |
378 | m_id + 1); //m_id starts at 0 | 378 | m_id + 1); //m_id starts at 0 |
379 | m_name = tname; | ||
379 | } | 380 | } |
380 | 381 | ||
381 | screen().updateWorkspaceNamesAtom(); | 382 | screen().updateWorkspaceNamesAtom(); |