diff options
author | Tom Schoonjans <Tom.Schoonjans@diamond.ac.uk> | 2015-10-17 17:52:44 +0100 |
---|---|---|
committer | Arx Cruz <arxcruz@gnome.org> | 2015-10-17 21:11:48 +0200 |
commit | 61c53a042418562c30e816fdd0c63caf2fa9f1b3 (patch) | |
tree | 223bea27efbbc2fe32af7a30f21aa001bfa14578 | |
parent | 4ddf52f6382fa89f1052769b3c3f2914e581f9b6 (diff) | |
download | zenity-61c53a042418562c30e816fdd0c63caf2fa9f1b3.tar.gz |
fix compilation when webkitgtk is not installed
-rw-r--r-- | src/option.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/option.c b/src/option.c index 79a6f92..246cf22 100644 --- a/src/option.c +++ b/src/option.c @@ -2074,9 +2074,11 @@ zenity_text_post_callback (GOptionContext *context, if (zenity_text_font) zenity_option_error (zenity_option_get_name (text_options, &zenity_text_font), ERROR_SUPPORT); +#ifdef HAVE_WEBKITGTK if (zenity_text_enable_html) zenity_option_error (zenity_option_get_name (text_options, &zenity_text_enable_html), ERROR_SUPPORT); +#endif } return TRUE; } |