diff options
author | Raphael Langella <raphael.langella@gmail.com> | 2010-10-21 21:43:07 +0200 |
---|---|---|
committer | Raphael Langella <raphael.langella@gmail.com> | 2010-10-21 21:46:36 +0200 |
commit | f80b32e5e78aee8e2e84667bee9ecff23d4569c7 (patch) | |
tree | f714f611a0dd57498afd309a27fb998374a9367a /crawl-ref/source/windowmanager-sdl.cc | |
parent | 40c135dc4471a55354d86dcd1d652a6c7a0327c8 (diff) | |
download | crawl-ref-f80b32e5e78aee8e2e84667bee9ecff23d4569c7.tar.gz crawl-ref-f80b32e5e78aee8e2e84667bee9ecff23d4569c7.zip |
some taskbar offset adjustment
made a special case for windows 7 because its taskbar behave strangely
Diffstat (limited to 'crawl-ref/source/windowmanager-sdl.cc')
-rw-r--r-- | crawl-ref/source/windowmanager-sdl.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/windowmanager-sdl.cc b/crawl-ref/source/windowmanager-sdl.cc index 7e4ddd9506..96f41ef8be 100644 --- a/crawl-ref/source/windowmanager-sdl.cc +++ b/crawl-ref/source/windowmanager-sdl.cc @@ -300,7 +300,7 @@ int SDLWrapper::init(coord_def *m_windowsz) // window just above the taskbar. int delta_x = (wm->desktop_width() - m_windowsz->x) / 2; int taskbar_height = get_taskbar_height(); - taskbar_height += 6; // Some margin for the window border. + taskbar_height += 3; // Some margin for the window border. if ((wm->desktop_height() - m_windowsz->y) / 2 < taskbar_height) { char env_str[50]; |