unused gtk_render_box and gdk_window_at_pointer only runs for GTK < 2.12

1 files changed, 1 insertions, 22 deletions

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 51f3934cf1..d6efb1e53a 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
@@ -2602,7 +2602,7 @@ void setToolTipText (long /*int*/ rootWidget, long /*int*/ tipWidget, String str
 		if (tipWindow != 0) {
 			if (gtk_widget_get_visible (tipWidget) || gtk_widget_get_realized (tipWidget)) {
 				int [] x = new int [1], y = new int [1];
-				long /*int*/ window = gdk_device_get_window_at_position (x, y);
+				long /*int*/ window = OS.gdk_window_at_pointer (x, y);
 				if (window != 0) {
 					long /*int*/ [] user_data = new long /*int*/ [1];
 					OS.gdk_window_get_user_data (window, user_data);
@@ -2631,25 +2631,4 @@ void setToolTipText (long /*int*/ rootWidget, long /*int*/ tipWidget, String str
 		
 }
 
-void gtk_render_box (long /*int*/ style, long /*int*/ window, int state_type, int shadow_type, GdkRectangle area, long /*int*/ widget, byte[] detail, int x , int y, int width, int height) {
-	if (OS.GTK3) {
-		long /*int*/ cairo = OS.gdk_cairo_create (window);
-		long /*int*/ context = OS.gtk_widget_get_style_context (style);
-		OS.gtk_render_frame (context, cairo, x, y, width, height);
-		OS.gtk_render_background (context, cairo, x, y, width, height);
-		Cairo.cairo_destroy (cairo);
-	} else {
-		OS.gtk_paint_box (style, window, state_type, shadow_type, area, widget, detail, x, y, width, height);
-	}
-}
-long /*int*/ gdk_device_get_window_at_position (int[] win_x, int[] win_y) {
-	if (OS.GTK3) {
-		long /*int*/ display = OS.gdk_display_get_default ();
-		long /*int*/ device_manager = OS.gdk_display_get_device_manager (display);
-		long /*int*/ device = OS.gdk_device_manager_get_client_pointer (device_manager);
-		return OS.gdk_device_get_window_at_position (device, win_x, win_y);
-	} else {
-		return OS.gdk_window_at_pointer (win_x, win_y);
-	}
-}
 }