made shaded windows snap properly at their bottom, using their shaded height.
authorDana Jansens <danakj@orodu.net>
Sun, 14 Apr 2002 09:39:14 +0000 (09:39 +0000)
committerDana Jansens <danakj@orodu.net>
Sun, 14 Apr 2002 09:39:14 +0000 (09:39 +0000)
commitd00ef145828941dc15c31bd7c3fc2f69f29c2955
tree6324e064283f8d7581015148301040fb817a48f2
parentbb1a97327b08fa5c1b8025083fc39498b3256c84
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.
ChangeLog
src/Window.cc
src/Window.h