diff options
| author | Mark Tiefenbruck <mark@fluxbox.org> | 2009-07-24 07:56:04 (GMT) |
|---|---|---|
| committer | Mark Tiefenbruck <mark@fluxbox.org> | 2009-07-24 07:56:04 (GMT) |
| commit | 9dcbff31b492ca4277471accc95696e0f9a0dd20 (patch) | |
| tree | 36d4d1b107c434f49706b18f4af7aa4485282a2d /src/WorkspaceNameTheme.hh | |
| parent | 589125672b684f18fbfb81dddb3a3fe45c857516 (diff) | |
| download | fluxbox-9dcbff31b492ca4277471accc95696e0f9a0dd20.zip fluxbox-9dcbff31b492ca4277471accc95696e0f9a0dd20.tar.bz2 | |
make autohide only show the border or 1 pixel if borderless
Diffstat (limited to 'src/WorkspaceNameTheme.hh')
0 files changed, 0 insertions, 0 deletions