2 files changed, 8 insertions, 2 deletions

diff --git a/src/WorkspaceNameTool.cc b/src/WorkspaceNameTool.cc
index a41e449..09067ea 100644
--- a/src/WorkspaceNameTool.cc
+++ b/src/WorkspaceNameTool.cc
@@ -20,7 +20,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: WorkspaceNameTool.cc,v 1.3 2003/08/12 00:22:11 fluxgen Exp $
+// $Id: WorkspaceNameTool.cc,v 1.4 2003/08/13 10:19:38 fluxgen Exp $
 
 #include "WorkspaceNameTool.hh"
 
@@ -92,6 +92,9 @@ unsigned int WorkspaceNameTool::height() const {
     return m_button.height();
 }
 
+unsigned int WorkspaceNameTool::borderWidth() const {
+    return m_button.borderWidth();
+}
 
 void WorkspaceNameTool::show() {
     m_button.show();
@@ -115,5 +118,7 @@ void WorkspaceNameTool::renderTheme() {
         m_screen.imageControl().removeImage(tmp);
 
     m_button.setJustify(m_theme.justify());
+    m_button.setBorderWidth(m_theme.border().width());
+    m_button.setBorderColor(m_theme.border().color());
     m_button.clear();
 }
diff --git a/src/WorkspaceNameTool.hh b/src/WorkspaceNameTool.hh
index a5d0188..0dc49ac 100644
--- a/src/WorkspaceNameTool.hh
+++ b/src/WorkspaceNameTool.hh
@@ -20,7 +20,7 @@
 // FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 // DEALINGS IN THE SOFTWARE.
 
-// $Id: WorkspaceNameTool.hh,v 1.1 2003/08/11 14:32:39 fluxgen Exp $
+// $Id: WorkspaceNameTool.hh,v 1.2 2003/08/13 10:19:57 fluxgen Exp $
 
 #ifndef WORKSPACENAMETOOL_HH
 #define WORKSPACENAMETOOL_HH
@@ -47,6 +47,7 @@ public:
     void hide();
     unsigned int width() const;
     unsigned int height() const;
+    unsigned int borderWidth() const;
 
     void update(FbTk::Subject *subj);