diff options
| author | Dana Jansens <danakj@orodu.net> | 2002-04-14 09:39:14 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2002-04-14 09:39:14 +0000 |
| commit | d00ef145828941dc15c31bd7c3fc2f69f29c2955 (patch) | |
| tree | 6324e064283f8d7581015148301040fb817a48f2 /src/Windowmenu.cc | |
| parent | bb1a97327b08fa5c1b8025083fc39498b3256c84 (diff) | |
made shaded windows snap properly at their bottom, using their shaded height.
window.getHeight() now returns the different/correct value when a window is shaded.
Diffstat (limited to 'src/Windowmenu.cc')
0 files changed, 0 insertions, 0 deletions