aboutsummaryrefslogtreecommitdiff
path: root/src/WorkspaceNameTool.cc
diff options
context:
space:
mode:
Diffstat (limited to 'src/WorkspaceNameTool.cc')
-rw-r--r--src/WorkspaceNameTool.cc6
1 files changed, 5 insertions, 1 deletions
diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc
index d1fe945..245fce5 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.9 2004/08/25 17:16:40 rathnor Exp $ 23// $Id: WorkspaceNameTool.cc,v 1.10 2004/08/29 08:33:13 rathnor Exp $
24 24
25#include "WorkspaceNameTool.hh" 25#include "WorkspaceNameTool.hh"
26 26
@@ -109,6 +109,10 @@ void WorkspaceNameTool::hide() {
109 m_button.hide(); 109 m_button.hide();
110} 110}
111 111
112void WorkspaceNameTool::updateSizing() {
113 m_button.setBorderWidth(m_theme.border().width());
114}
115
112void WorkspaceNameTool::renderTheme() { 116void WorkspaceNameTool::renderTheme() {
113 Pixmap tmp = m_pixmap; 117 Pixmap tmp = m_pixmap;
114 if (!m_theme.texture().usePixmap()) { 118 if (!m_theme.texture().usePixmap()) {