Merge branch 'enhanced_viewport_overlay' into jgrpp

2018-05-26 09:15:08 +01:00
parent 8f2c595378 64815c0d8a
commit fe1e0a9d59
4 changed files with 53 additions and 15 deletions
--- a/src/window_gui.h
+++ b/src/window_gui.h
@@ -904,6 +904,7 @@ extern int _scrollbar_size;
 extern byte _scroller_click_timeout;

 extern Window *_scrolling_viewport;
+extern Rect _scrolling_viewport_bound;
 extern bool _mouse_hovering;

 /** Mouse modes. */