diff options
| author | Raphael Langella <raphael.langella@gmail.com> | 2010-10-18 22:22:50 +0200 |
|---|---|---|
| committer | Raphael Langella <raphael.langella@gmail.com> | 2010-10-18 22:22:50 +0200 |
| commit | 0abe7ac4eaed3c056b1ef6dbf8af1e8ed13e87fb (patch) | |
| tree | 90e7a0ef9330f78fd75aaf365c76b36b4f8d9ec9 /crawl-ref/source/windowmanager.h | |
| parent | cb4e4dcd0f90cdab2e8f67d9b18e306f9439053c (diff) | |
| download | crawl-ref-0abe7ac4eaed3c056b1ef6dbf8af1e8ed13e87fb.tar.gz crawl-ref-0abe7ac4eaed3c056b1ef6dbf8af1e8ed13e87fb.zip | |
remove tile_align_at_top option (much better taskbar overlap fix)
taskbar overlap is now automatically detected, and the window is placed
just above it.
Diffstat (limited to 'crawl-ref/source/windowmanager.h')
| -rw-r--r-- | crawl-ref/source/windowmanager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/windowmanager.h b/crawl-ref/source/windowmanager.h index aadef88b59..d28b22c9fc 100644 --- a/crawl-ref/source/windowmanager.h +++ b/crawl-ref/source/windowmanager.h @@ -132,6 +132,7 @@ public: virtual int screen_width() const = 0; virtual int screen_height() const = 0; virtual int desktop_width() const = 0; + virtual int desktop_height() const = 0; // Texture loading virtual bool load_texture(GenericTexture *tex, const char *filename, |