diff options
| author | Arun Thondapu <arunkumar.thondapu@in.ibm.com> | 2012-10-15 17:35:09 +0530 |
|---|---|---|
| committer | Arun Thondapu <arunkumar.thondapu@in.ibm.com> | 2012-10-15 17:37:26 +0530 |
| commit | 32e146465fbea87a81bbf86001a412945d162357 (patch) | |
| tree | dc2ca1a1fa6a2cbec9498714b514f9cb475d7c48 | |
| parent | b83fa2d5168cae14dbf74a7de74446d33fdf7524 (diff) | |
| download | eclipse.platform.swt-32e146465fbea87a81bbf86001a412945d162357.tar.gz eclipse.platform.swt-32e146465fbea87a81bbf86001a412945d162357.tar.xz eclipse.platform.swt-32e146465fbea87a81bbf86001a412945d162357.zip | |
Bug 391263 Fix version check in GC.java
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/GC.java | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/GC.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/GC.java index f2e4407cf3..5b2db7b453 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/GC.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/graphics/GC.java @@ -4205,17 +4205,16 @@ public String toString () { } void gtk_render_focus (long /*int*/ style, long /*int*/ window, int state_type, GdkRectangle area, long /*int*/ widget, byte[] detail, int x , int y, int width, int height) { - if (OS.GTK_VERSION >= OS.VERSION(3, 2, 0)) { + if (OS.GTK_VERSION >= OS.VERSION(3, 0, 0)) { long /*int*/ cairo = OS.gdk_cairo_create (window); - long /*int*/ context = OS.gtk_widget_get_style_context (style); + long /*int*/ context = OS.gtk_widget_get_style_context (style); OS.gtk_style_context_save (context); OS.gtk_style_context_set_state (context, OS.gtk_widget_get_state_flags (widget)); Cairo.cairo_save (cairo); - OS.gtk_render_focus(context, cairo, x, y, width, height); + OS.gtk_render_focus (context, cairo, x, y, width, height); Cairo.cairo_restore (cairo); OS.gtk_style_context_restore (context); - Cairo.cairo_destroy(cairo); - + Cairo.cairo_destroy (cairo); } else { OS.gtk_paint_focus (style, window, state_type, area, widget, detail, x, y, width, height); } |