diff options
author | Anatoly Spektor <aspektor@redhat.com> | 2012-10-05 11:09:21 -0400 |
---|---|---|
committer | Anatoly Spektor <aspektor@redhat.com> | 2012-10-05 11:09:21 -0400 |
commit | 09d10bce0031c23a939a7d18f8a2d89cf9782bdd (patch) | |
tree | f76c05987283e951c9cf5f6472985394939c2880 /bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java | |
parent | f09fefa7c4435a8da7b2516204fa717abff74704 (diff) | |
download | eclipse.platform.swt-gtk3_redner_option_64.tar.gz eclipse.platform.swt-gtk3_redner_option_64.tar.xz eclipse.platform.swt-gtk3_redner_option_64.zip |
Use gtk_render_option instead of gtk_paint_option for GTK+3 and highergtk3_redner_option_64
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java index a833eb2453..46d1769d06 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java +++ b/bundles/org.eclipse.swt/Eclipse SWT PI/gtk/org/eclipse/swt/internal/gtk/OS.java @@ -8585,6 +8585,22 @@ public static final void gtk_render_background(long /*int*/ context, long /*int* } /** * @method flags=dynamic + * @param x cast=(gdouble) + * @param y cast=(gdouble) + * @param width cast=(gdouble) + * @param height cast=(gdouble) + */ +public static final native void _gtk_render_option(long /*int*/ context, long /*int*/ cr, double x , double y, double width, double height); +public static final void gtk_render_option(long /*int*/ context, long /*int*/ cr, double x , double y, double width, double height) { + lock.lock(); + try { + _gtk_render_option(context, cr, x , y, width, height); + } finally { + lock.unlock(); + } +} +/** + * @method flags=dynamic * @param window cast=(GdkWindow *) * @param widget cast=(GtkWidget *) * @param detail cast=(const gchar *) @@ -8615,7 +8631,7 @@ public static final void gtk_paint_focus(long /*int*/ style, long /*int*/ window } } /** - * @param style cast=(GtkStyle *) + * @method flags=dynamic * @param window cast=(GdkWindow *) * @param widget cast=(GtkWidget *) * @param detail cast=(const gchar *) |