diff options
author | fluxgen <fluxgen> | 2003-08-26 23:20:07 (GMT) |
---|---|---|
committer | fluxgen <fluxgen> | 2003-08-26 23:20:07 (GMT) |
commit | 462286b46cac80a945fe988605ece05bd037c883 (patch) | |
tree | 913909a68b1b752549369b6cc4800111bfb41936 /src | |
parent | bb374e2ccab6274176c4104e14681bf9146d769a (diff) | |
download | fluxbox_paul-462286b46cac80a945fe988605ece05bd037c883.zip fluxbox_paul-462286b46cac80a945fe988605ece05bd037c883.tar.bz2 |
listen to workspace name sig
Diffstat (limited to 'src')
-rw-r--r-- | src/WorkspaceNameTool.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc index 09067ea..fe1fa6f 100644 --- a/src/WorkspaceNameTool.cc +++ b/src/WorkspaceNameTool.cc | |||
@@ -20,7 +20,7 @@ | |||
20 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER | 20 | // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
21 | // DEALINGS IN THE SOFTWARE. | 21 | // DEALINGS IN THE SOFTWARE. |
22 | 22 | ||
23 | // $Id: WorkspaceNameTool.cc,v 1.4 2003/08/13 10:19:38 fluxgen Exp $ | 23 | // $Id: WorkspaceNameTool.cc,v 1.5 2003/08/26 23:20:07 fluxgen Exp $ |
24 | 24 | ||
25 | #include "WorkspaceNameTool.hh" | 25 | #include "WorkspaceNameTool.hh" |
26 | 26 | ||
@@ -42,6 +42,7 @@ WorkspaceNameTool::WorkspaceNameTool(const FbTk::FbWindow &parent, | |||
42 | m_button.setText(m_screen.currentWorkspace()->name()); | 42 | m_button.setText(m_screen.currentWorkspace()->name()); |
43 | 43 | ||
44 | // setup signals | 44 | // setup signals |
45 | screen.workspaceNamesSig().attach(this); | ||
45 | screen.currentWorkspaceSig().attach(this); | 46 | screen.currentWorkspaceSig().attach(this); |
46 | theme.reconfigSig().attach(this); | 47 | theme.reconfigSig().attach(this); |
47 | 48 | ||
@@ -69,6 +70,8 @@ void WorkspaceNameTool::moveResize(int x, int y, | |||
69 | 70 | ||
70 | void WorkspaceNameTool::update(FbTk::Subject *subj) { | 71 | void WorkspaceNameTool::update(FbTk::Subject *subj) { |
71 | m_button.setText(m_screen.currentWorkspace()->name()); | 72 | m_button.setText(m_screen.currentWorkspace()->name()); |
73 | if (m_button.width() != width()) | ||
74 | resize(width(), height()); | ||
72 | renderTheme(); | 75 | renderTheme(); |
73 | } | 76 | } |
74 | 77 | ||