diff --git a/src/fe-gtk/xtext.c b/src/fe-gtk/xtext.c index 48d4ec61..4a82bc43 100644 --- a/src/fe-gtk/xtext.c +++ b/src/fe-gtk/xtext.c @@ -2147,14 +2147,14 @@ gtk_xtext_scroll (GtkWidget *widget, GdkEventScroll *event) new_value = xtext->adj->value - (xtext->adj->page_increment / 10); if (new_value < xtext->adj->lower) new_value = xtext->adj->lower; - gtk_adjustment_set_value (xtext->adj, new_value); + gtk_adjustment_set_value (xtext->adj, (int)new_value); } else if (event->direction == GDK_SCROLL_DOWN) /* mouse wheel pageDn */ { new_value = xtext->adj->value + (xtext->adj->page_increment / 10); if (new_value > (xtext->adj->upper - xtext->adj->page_size)) new_value = xtext->adj->upper - xtext->adj->page_size; - gtk_adjustment_set_value (xtext->adj, new_value); + gtk_adjustment_set_value (xtext->adj, (int)new_value); } return FALSE;