Fix 1736536. Integer division isn't good enough when the navigator window is small.

git-svn-id: http://svn.voria.com/code@525 1f10aa63-cdf2-0310-b900-c93c546f37ac

diff --git a/synfig-studio/trunk/src/gtkmm/dock_navigator.cpp b/synfig-studio/trunk/src/gtkmm/dock_navigator.cpp
index a8ca5c7..cc48ab6 100644 (file)
--- a/synfig-studio/trunk/src/gtkmm/dock_navigator.cpp
+++ b/synfig-studio/trunk/src/gtkmm/dock_navigator.cpp
@@ -462,7 +462,7 @@ bool studio::Widget_NavView::on_mouse_event(GdkEvent * e)
 
                float max = abs((br[0]-tl[0]) / drawto.get_width());
 
-               if((prev->get_width() / drawto.get_width()) < (prev->get_height() / drawto.get_height()))
+               if((float(prev->get_width()) / drawto.get_width()) < (float(prev->get_height()) / drawto.get_height()))
                        max = abs((br[1]-tl[1]) / drawto.get_height());
 
                float signx = (br[0]-tl[0]) < 0 ? -1 : 1;