diff options
-rw-r--r-- | src/app.vala | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/app.vala b/src/app.vala index 0b8d1561..7155d578 100644 --- a/src/app.vala +++ b/src/app.vala @@ -156,14 +156,20 @@ class SearchPopover : Gtk.Popover regex_pattern = pattern; } catch (Error e) { +#if WITH_PCRE2 regex = null; +#endif + gregex = null; } } else { +#if WITH_PCRE2 regex = null; +#endif + gregex = null; } #if WITH_PCRE2 - if (regex != null) + if (!App.Options.no_pcre) terminal.search_set_regex(regex, 0); else #endif |