diff options
| author | Marco Pesenti Gritti <marco@gnome.org> | 2005-01-30 16:51:49 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-01-30 16:51:49 (GMT) |
| commit | c5067c847ed89efbc92f071c358f9c3c8a47cd33 (patch) | |
| tree | fa72801ec5234bb8910fd9ce30b3e072eebb2353 /shell | |
| parent | 20bac8406dacba5512f116c91ab21b0ad20fabf5 (diff) | |
Do not redraw unnecessarily
2005-01-30 Marco Pesenti Gritti <marco@gnome.org>
* shell/ev-view.c: (ev_view_motion_notify_event):
Do not redraw unnecessarily
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/ev-view.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index a38726c..280b4cf 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -628,6 +628,8 @@ ev_view_motion_notify_event (GtkWidget *widget, view->selection.y = MIN (view->selection_start.y, event->y); view->selection.width = ABS (view->selection_start.x - event->x) + 1; view->selection.height = ABS (view->selection_start.y - event->y) + 1; + + gtk_widget_queue_draw (widget); } else if (view->document) { EvLink *link; @@ -649,8 +651,6 @@ ev_view_motion_notify_event (GtkWidget *widget, } } - gtk_widget_queue_draw (widget); - return TRUE; } |