summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorArun Thondapu <arunkumar.thondapu@in.ibm.com>2012-09-28 00:35:39 +0530
committerArun Thondapu <arunkumar.thondapu@in.ibm.com>2012-09-28 18:12:14 +0530
commitb10455c7784bbac9ddf3050dabceefccfa2b645e (patch)
treeca8e419bd746731498b7fe9acfe5fbd3615cc7cf
parentd09696dd083310684def500d9edb9cfc5d6dd4ab (diff)
downloadeclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.tar.gz
eclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.tar.xz
eclipse.platform.swt-b10455c7784bbac9ddf3050dabceefccfa2b645e.zip
Bug 388528 Fix formatting
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/DragSource.java6
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Sash.java2
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java2
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tracker.java2
-rw-r--r--bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Widget.java6
5 files changed, 9 insertions, 9 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/DragSource.java b/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/DragSource.java
index d955029fd6..cce536a2f0 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/DragSource.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT Drag and Drop/gtk/org/eclipse/swt/dnd/DragSource.java
@@ -316,9 +316,9 @@ void dragEnd(long /*int*/ widget, long /*int*/ context){
* a drag is finished.
*/
if (OS.GTK_VERSION >= OS.VERSION(3, 0, 0)) {
- long /*int*/ display = OS.gdk_window_get_display (OS.gtk_widget_get_window(widget));
- long /*int*/ device_manager = OS.gdk_display_get_device_manager (display);
- long /*int*/ pointer = OS.gdk_device_manager_get_client_pointer (device_manager);
+ long /*int*/ display = OS.gdk_window_get_display(OS.gtk_widget_get_window(widget));
+ 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, OS.GDK_CURRENT_TIME);
} else {
OS.gdk_pointer_ungrab(OS.GDK_CURRENT_TIME);
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Sash.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Sash.java
index 08439027ae..c13150c589 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Sash.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Sash.java
@@ -311,7 +311,7 @@ long /*int*/ gtk_key_press_event (long /*int*/ widget, long /*int*/ eventPtr) {
event.height = height;
if ((parent.style & SWT.MIRRORED) != 0) event.x = parent.getClientWidth () - width - event.x;
sendSelectionEvent (SWT.Selection, event, true);
- if (ptrGrabResult == OS.GDK_GRAB_SUCCESS) gdk_pointer_ungrab (window, OS.GDK_CURRENT_TIME);
+ if (ptrGrabResult == OS.GDK_GRAB_SUCCESS) gdk_pointer_ungrab (window, OS.GDK_CURRENT_TIME);
if (isDisposed ()) break;
if (event.doit) {
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java
index 628c2bbd45..9a67d462e0 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Shell.java
@@ -2100,7 +2100,7 @@ public void setVisible (boolean visible) {
mapped = true;
if ((style & mask) != 0) {
- gdk_pointer_ungrab(shellHandle,OS.GDK_CURRENT_TIME);
+ gdk_pointer_ungrab (shellHandle, OS.GDK_CURRENT_TIME);
}
opened = true;
if (!moved) {
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tracker.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tracker.java
index 1c67b98671..0e632a4603 100644
--- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tracker.java
+++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Tracker.java
@@ -988,7 +988,7 @@ public void setStippled (boolean stippled) {
}
void ungrab () {
- if (grabbed) gdk_pointer_ungrab(window, OS.GDK_CURRENT_TIME);
+ if (grabbed) gdk_pointer_ungrab (window, OS.GDK_CURRENT_TIME);
}
void update () {
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_);
}
}