border theme

1 files changed, 2 insertions, 1 deletions

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);