For now, I use the attached patch in addition to the one at
http://redmine.audacious-media-player.org/boards/1/topics/1135
to get rid of CSD completely. I don't have Gnome and don't know if they
could make any trouble under Gnome-Shell.
diff -ruNp gtk+-3.12.1-orig/gtk/gtkwindow.c gtk+-3.12.1/gtk/gtkwindow.c
--- gtk+-3.12.1-orig/gtk/gtkwindow.c 2014-04-12 09:34:53.000000000 +0430
+++ gtk+-3.12.1/gtk/gtkwindow.c 2014-05-04 13:37:07.248913645 +0430
@@ -3607,18 +3607,7 @@ gdk_window_supports_csd (GtkWindow *wind
#ifdef GDK_WINDOWING_X11
if (GDK_IS_X11_DISPLAY (gtk_widget_get_display (widget)))
{
- GdkScreen *screen;
- GdkVisual *visual;
-
- screen = gtk_widget_get_screen (widget);
-
- if (!gdk_screen_is_composited (screen))
- return FALSE;
-
- /* We need a visual with alpha */
- visual = gdk_screen_get_rgba_visual (screen);
- if (!visual)
- return FALSE;
+ return FALSE;
}
#endif
