diff options
| author | fluxgen <fluxgen> | 2003-08-13 10:19:57 (GMT) |
|---|---|---|
| committer | fluxgen <fluxgen> | 2003-08-13 10:19:57 (GMT) |
| commit | 4eb377f5ef75359502685f3a73e3e24a520bcad5 (patch) | |
| tree | 902b76be21a9264ff7fd99cc9e7099831f31ed2e /src/WorkspaceNameTool.hh | |
| parent | 662be09609358784d08f1aa6d01ae0c88047cafa (diff) | |
| download | fluxbox_pavel-4eb377f5ef75359502685f3a73e3e24a520bcad5.zip fluxbox_pavel-4eb377f5ef75359502685f3a73e3e24a520bcad5.tar.bz2 | |
border theme
Diffstat (limited to 'src/WorkspaceNameTool.hh')
| -rw-r--r-- | src/WorkspaceNameTool.hh | 3 |
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 @@ | |||
| 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.hh,v 1.1 2003/08/11 14:32:39 fluxgen Exp $ | 23 | // $Id: WorkspaceNameTool.hh,v 1.2 2003/08/13 10:19:57 fluxgen Exp $ |
| 24 | 24 | ||
| 25 | #ifndef WORKSPACENAMETOOL_HH | 25 | #ifndef WORKSPACENAMETOOL_HH |
| 26 | #define WORKSPACENAMETOOL_HH | 26 | #define WORKSPACENAMETOOL_HH |
| @@ -47,6 +47,7 @@ public: | |||
| 47 | void hide(); | 47 | void hide(); |
| 48 | unsigned int width() const; | 48 | unsigned int width() const; |
| 49 | unsigned int height() const; | 49 | unsigned int height() const; |
| 50 | unsigned int borderWidth() const; | ||
| 50 | 51 | ||
| 51 | void update(FbTk::Subject *subj); | 52 | void update(FbTk::Subject *subj); |
| 52 | 53 | ||