diff options
author | Stefano Karapetsas <[email protected]> | 2013-10-30 00:56:56 +0100 |
---|---|---|
committer | Stefano Karapetsas <[email protected]> | 2013-10-30 00:56:56 +0100 |
commit | 7f0ccea48196a0da9523db3d566ee8020cd742a1 (patch) | |
tree | 4a66f87edcc70ca3949c750148df218c9a41ba28 /pluma/pluma-prefs-manager-app.c | |
parent | 5f87f646777bf5b09610bbc6eed8fafd007f34c6 (diff) | |
download | pluma-7f0ccea48196a0da9523db3d566ee8020cd742a1.tar.bz2 pluma-7f0ccea48196a0da9523db3d566ee8020cd742a1.tar.xz |
pluma: Add GTK3 support
Diffstat (limited to 'pluma/pluma-prefs-manager-app.c')
-rw-r--r-- | pluma/pluma-prefs-manager-app.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pluma/pluma-prefs-manager-app.c b/pluma/pluma-prefs-manager-app.c index 18db8fac..8d74d45b 100644 --- a/pluma/pluma-prefs-manager-app.c +++ b/pluma/pluma-prefs-manager-app.c @@ -1207,7 +1207,11 @@ pluma_prefs_manager_syntax_hl_enable_changed (GSettings *settings, while (l != NULL) { +#if GTK_CHECK_VERSION (3, 0, 0) + g_return_if_fail (GTK_SOURCE_IS_BUFFER (l->data)); +#else g_return_if_fail (GTK_IS_SOURCE_BUFFER (l->data)); +#endif gtk_source_buffer_set_highlight_syntax (GTK_SOURCE_BUFFER (l->data), enable); @@ -1313,7 +1317,11 @@ pluma_prefs_manager_source_style_scheme_changed (GSettings *settings, docs = pluma_app_get_documents (pluma_app_get_default ()); for (l = docs; l != NULL; l = l->next) { +#if GTK_CHECK_VERSION (3, 0, 0) + g_return_if_fail (GTK_SOURCE_IS_BUFFER (l->data)); +#else g_return_if_fail (GTK_IS_SOURCE_BUFFER (l->data)); +#endif gtk_source_buffer_set_style_scheme (GTK_SOURCE_BUFFER (l->data), style); |