Merge branch 'dev' into hidpi-icons

2018-12-09 00:13:01 +01:00
parent 5678f33aef 033b021b9b
commit 7ab3893b2b
67 changed files with 611 additions and 601 deletions
--- a/rtgui/thumbbrowserbase.cc
+++ b/rtgui/thumbbrowserbase.cc
@@ -1017,9 +1017,6 @@ void ThumbBrowserBase::zoomChanged (bool zoomIn)
    }

    redraw ();
-#ifdef WIN32
-    gdk_window_process_updates (get_window()->gobj(), true);
-#endif
 }

 void ThumbBrowserBase::refreshThumbImages ()