diff options
| author | Dana Jansens <danakj@orodu.net> | 2002-07-28 17:58:06 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2002-07-28 17:58:06 +0000 |
| commit | d06cedce062da73393a585d061b19b6604bbe568 (patch) | |
| tree | 9964a6912f098ef5a10a7e8ef2e56e8bcfa22174 /src/Workspace.cc | |
| parent | 86af1224bd80ed987f9c2389efa9bf9744ebada8 (diff) | |
keep a minimum menu height so that the pixmaps (checkmarks) draw right in them
Diffstat (limited to 'src/Workspace.cc')
0 files changed, 0 insertions, 0 deletions