diff options
| author | Arun Thondapu <arunkumar.thondapu@in.ibm.com> | 2012-09-28 00:35:39 +0530 |
|---|---|---|
| committer | Arun Thondapu <arunkumar.thondapu@in.ibm.com> | 2012-09-28 18:12:14 +0530 |
| commit | b10455c7784bbac9ddf3050dabceefccfa2b645e (patch) | |
| tree | ca8e419bd746731498b7fe9acfe5fbd3615cc7cf /bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java | |
| parent | d09696dd083310684def500d9edb9cfc5d6dd4ab (diff) | |
| download | eclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.tar.gz eclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.tar.xz eclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.zip | |
Bug 388528 Fix formatting
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java index 3be94d91d4..0f35509f2f 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java @@ -1867,13 +1867,13 @@ int gdk_pointer_grab (long /*int*/ window, int grab_ownership, boolean owner_eve } void gdk_pointer_ungrab (long /*int*/ window, int time_) { - if (OS.GTK_VERSION >= OS.VERSION(3, 0, 0)) { + if (OS.GTK_VERSION >= OS.VERSION (3, 0, 0)) { long /*int*/ display = OS.gdk_window_get_display (window); long /*int*/ device_manager = OS.gdk_display_get_device_manager (display); long /*int*/ pointer = OS.gdk_device_manager_get_client_pointer (device_manager); - OS.gdk_device_ungrab(pointer, time_); + OS.gdk_device_ungrab (pointer, time_); } else { - OS.gdk_pointer_ungrab(time_); + OS.gdk_pointer_ungrab (time_); } } |