UI fixes:
[blender.git] / source / blender / editors / interface / view2d.c
index a5f9995df889cad8bfc9750087e1c5be98fdcf32..306b328b431879e6db7e09fddfe42bf152aa730b 100644 (file)
@@ -852,10 +852,11 @@ void UI_view2d_totRect_set_resize(View2D *v2d, int width, int height, int resize
        
        /* hrumf! */
        /* XXX: there are work arounds for this in the panel and file browse code. */
+       /* round to int, because this is called with width + V2D_SCROLL_WIDTH */
        if (scroll & V2D_SCROLL_HORIZONTAL) 
-               width -= V2D_SCROLL_WIDTH;
+               width -= (int)V2D_SCROLL_WIDTH;
        if (scroll & V2D_SCROLL_VERTICAL) 
-               height -= V2D_SCROLL_HEIGHT;
+               height -= (int)V2D_SCROLL_HEIGHT;
        
        if (ELEM(0, width, height)) {
                if (G.debug & G_DEBUG)