diff options
author | Christian Persch <chpe@gnome.org> | 2016-03-14 18:10:09 +0100 |
---|---|---|
committer | Christian Persch <chpe@gnome.org> | 2016-03-14 18:10:09 +0100 |
commit | 61657b7f9d9476ca92823c95b2a258a211715589 (patch) | |
tree | ac5a98e003a91a427b366ee4b98ed8fdf33a4f8c | |
parent | 6d91ca041d9a49d8c06d17e11785f5052817eea1 (diff) | |
download | vte-0.43.92.tar.gz |
widget: Warn about CSS problem with upgrade to gtk 3.190.43.92
https://bugzilla.gnome.org/show_bug.cgi?id=763538
(cherry picked from commit fa008f96d9484204db73d2b500f22f47c247905e)
-rw-r--r-- | src/vtegtk.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vtegtk.cc b/src/vtegtk.cc index 566c74db..a2591b4b 100644 --- a/src/vtegtk.cc +++ b/src/vtegtk.cc @@ -655,6 +655,10 @@ vte_terminal_class_init(VteTerminalClass *klass) #if GTK_CHECK_VERSION(3, 19, 5) gtk_widget_class_set_css_name(widget_class, VTE_TERMINAL_CSS_NAME); +#else + /* Bug #763538 */ + if (gtk_check_version(3, 19, 5) == nullptr) + g_printerr("VTE needs to be recompiled against a newer gtk+ version.\n"); #endif /* Initialize default handlers. */ |