@@ -162,11 +162,13 @@ workspaceview_tick(GtkWidget *widget, GdkFrameClock *frame_clock,
162162 wview -> row_shadow_elapsed += dt ;
163163
164164 // 0-1 progress in animation
165- double duration = wview -> should_animate ? workspaceview_animation_duration : wview -> row_shadow_elapsed ;
166- double t = VIPS_CLIP (0 , ease_out_cubic (wview -> row_shadow_elapsed / duration ), 1 );
165+ double duration = wview -> should_animate ?
166+ workspaceview_animation_duration : wview -> row_shadow_elapsed ;
167+ double t = VIPS_CLIP (0 ,
168+ ease_out_cubic (wview -> row_shadow_elapsed / duration ), 1 );
167169
168170 workspaceview_set_row_shadow_height (wview ,
169- VIPS_RINT (t * wview -> max_row_shadow_height ));
171+ rint (t * wview -> max_row_shadow_height ));
170172
171173 if (t != 1.0 )
172174 finished = FALSE;
@@ -1106,8 +1108,8 @@ workspaceview_drag_update(GtkEventControllerMotion *self,
11061108
11071109 // don't let x/y go -ve (layout hates it)
11081110 columnview_animate_to (wview -> drag_cview ,
1109- VIPS_CLIP (0 , VIPS_RINT (obj_x ), wview -> width - w ),
1110- VIPS_CLIP (0 , VIPS_RINT (obj_y ), wview -> height - h ));
1111+ VIPS_CLIP (0 , rint (obj_x ), wview -> width - w ),
1112+ VIPS_CLIP (0 , rint (obj_y ), wview -> height - h ));
11111113
11121114 // top, since we want the titlebar to be visible
11131115 view_scrollto (VIEW (wview -> drag_cview ), MODEL_SCROLL_TOP );
0 commit comments