diff options
Diffstat (limited to 'src/WorkspaceNameTool.cc')
-rw-r--r-- | src/WorkspaceNameTool.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc index 8509300..d1fe945 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.8 2004/06/16 15:38:19 rathnor Exp $ | 23 | // $Id: WorkspaceNameTool.cc,v 1.9 2004/08/25 17:16:40 rathnor Exp $ |
24 | 24 | ||
25 | #include "WorkspaceNameTool.hh" | 25 | #include "WorkspaceNameTool.hh" |
26 | 26 | ||
@@ -70,8 +70,10 @@ void WorkspaceNameTool::moveResize(int x, int y, | |||
70 | 70 | ||
71 | void WorkspaceNameTool::update(FbTk::Subject *subj) { | 71 | void WorkspaceNameTool::update(FbTk::Subject *subj) { |
72 | m_button.setText(m_screen.currentWorkspace()->name()); | 72 | m_button.setText(m_screen.currentWorkspace()->name()); |
73 | if (m_button.width() != width()) | 73 | if (m_button.width() != width()) { |
74 | resize(width(), height()); | 74 | resize(width(), height()); |
75 | resizeSig().notify(); | ||
76 | } | ||
75 | renderTheme(); | 77 | renderTheme(); |
76 | } | 78 | } |
77 | 79 | ||