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 adb834e19d..04a5369320 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
@@ -8741,7 +8741,7 @@ public static final void gtk_paint_box_gap(long /*int*/ style, long /*int*/ wind
 	}
 }
 /**
- * @param style cast=(GtkStyle *)
+ * @method flags=dynamic
  * @param window cast=(GdkWindow *)
  * @param widget cast=(GtkWidget *)
  * @param detail cast=(const gchar *)
@@ -8756,6 +8756,22 @@ public static final void gtk_paint_check(long /*int*/ style, long /*int*/ window
 	}
 }
 /**
+ * @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_check(long /*int*/ context, long /*int*/ cairo,  double x , double y, double width, double height);
+public static final void gtk_render_check(long /*int*/ context, long /*int*/ cairo,  double x , double y, double width, double height) {
+	lock.lock();
+	try {
+		_gtk_render_check(context,cairo,x,y,width,height);
+	} finally {
+		lock.unlock();
+	}
+}
+/**
  * @param style cast=(GtkStyle *)
  * @param window cast=(GdkWindow *)
  * @param widget cast=(GtkWidget *)