From 77c4e33d686bc4a8a65a94ada54f7d75fc0f7109 Mon Sep 17 00:00:00 2001 From: Felipe Heidrich Date: Thu, 27 Feb 2003 22:42:08 +0000 Subject: 31525 --- .../Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java') diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java index 885c62cf2c..5a9bc9b21b 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Canvas.java @@ -159,15 +159,15 @@ public void scroll (int destX, int destY, int x, int y, int width, int height, b boolean isFocus = caret != null && caret.isFocusCaret (); if (isFocus) caret.killFocus (); -// update (); + update (); // GC gc = new GC (this); // gc.copyArea (x, y, width, height, destX, destY); // gc.dispose (); - OS.gdk_flush (); - while ((OS.gtk_events_pending()) != 0) { - OS.gtk_main_iteration (); - } +// OS.gdk_flush (); +// while ((OS.gtk_events_pending()) != 0) { +// OS.gtk_main_iteration (); +// } int window = paintWindow (); int visibleRegion = OS.gdk_drawable_get_visible_region (window); -- cgit