wxWidgets-gtk3.patch

   1 --- wxWidgets-3.0.0/src/gtk/toplevel.cpp.orig   2013-11-11 14:10:39.000000000 +0100
   2 +++ wxWidgets-3.0.0/src/gtk/toplevel.cpp        2014-01-19 20:17:17.213284707 +0100
   3 @@ -39,6 +39,9 @@
   4      #include <X11/Xatom.h>  // XA_CARDINAL
   5      #include "wx/unix/utilsx11.h"
   6  #endif
   7 +#ifdef GDK_WINDOWING_WAYLAND
   8 +    #include <gdk/gdkwayland.h>
   9 +#endif
  10
  11  #include "wx/gtk/private.h"
  12  #include "wx/gtk/private/gtk2-compat.h"
  13 @@ -730,7 +733,7 @@
  14              m_gdkDecor |= GDK_DECOR_TITLE;
  15  #if defined(GDK_WINDOWING_WAYLAND) && GTK_CHECK_VERSION(3,10,0)
  16          else if (
  17 -            GDK_IS_WAYLAND_SCREEN(gtk_window_get_screen(GTK_WINDOW(m_widget))) &&
  18 +            GDK_IS_WAYLAND_DISPLAY(gtk_widget_get_display(m_widget)) &&
  19              gtk_check_version(3,10,0) == NULL)
  20          {
  21              gtk_window_set_titlebar(GTK_WINDOW(m_widget), gtk_header_bar_new());