-//-----------------------------------------------------------------------------
-// local functions
-//-----------------------------------------------------------------------------
-
-/* draw XOR rectangle when moving mine frame around */
-
-static void DrawFrame( GtkWidget *widget, int x, int y, int w, int h )
-{
- int org_x = 0;
- int org_y = 0;
- gdk_window_get_origin( widget->window, &org_x, &org_y );
- x += org_x;
- y += org_y;
-
- GdkGC *gc = gdk_gc_new( gdk_get_default_root_window() );
- gdk_gc_set_subwindow( gc, GDK_INCLUDE_INFERIORS );
- gdk_gc_set_function( gc, GDK_INVERT );
-
- gdk_draw_rectangle( gdk_get_default_root_window(), gc, FALSE, x, y, w, h );
- g_object_unref (gc);
-}
-