diff options
author | Christian Persch <chpe@src.gnome.org> | 2021-06-04 20:14:42 +0200 |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2021-06-04 20:14:42 +0200 |
commit | 7b49a730b110f76273d3b14d08b4110c8f7665f9 (patch) | |
tree | 221ec6d82b00c82149c67c5f8aca5cd795460aed | |
parent | c0e61229a1d3b03915c25df384dcf093dc462a64 (diff) | |
download | gnome-terminal-7b49a730b110f76273d3b14d08b4110c8f7665f9.tar.gz |
app: Make owner-change check only on X11
-rw-r--r-- | src/terminal-app.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/terminal-app.c b/src/terminal-app.c index ff91e156..5b294c19 100644 --- a/src/terminal-app.c +++ b/src/terminal-app.c @@ -54,6 +54,10 @@ #include <stdlib.h> #include <time.h> +#ifdef GDK_WINDOWING_X11 +#include <gdk/gdkx.h> +#endif + #define DESKTOP_INTERFACE_SETTINGS_SCHEMA "org.gnome.desktop.interface" #define SYSTEM_PROXY_SETTINGS_SCHEMA "org.gnome.system.proxy" @@ -831,8 +835,11 @@ terminal_app_init (TerminalApp *app) g_signal_connect (app->clipboard, "owner-change", G_CALLBACK (clipboard_owner_change_cb), app); - if (!gdk_display_supports_selection_notification (display)) +#ifdef GDK_WINDOWING_X11 + if (GDK_IS_X11_DISPLAY(display) && + !gdk_display_supports_selection_notification (display)) g_printerr ("Display does not support owner-change; copy/paste will be broken!\n"); +#endif /* Get the profiles */ app->profiles_list = terminal_profiles_list_new (); |