diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2012-12-31 14:12:00 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2012-12-31 14:12:00 +0100 |
| commit | d5582b0df4faefd558fd3e8726fe6a7e9888fe2e (patch) | |
| tree | bff4b925d9e437aadc1c1f829fa2831bd317a285 /src/option_manager.cc | |
| parent | 76c32466427636b01485afd93cafe701ddc83d12 (diff) | |
add incsearch option to choose if incremental search is enabled
Diffstat (limited to 'src/option_manager.cc')
| -rw-r--r-- | src/option_manager.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/option_manager.cc b/src/option_manager.cc index 3b8f23b9..3857c78e 100644 --- a/src/option_manager.cc +++ b/src/option_manager.cc @@ -99,6 +99,7 @@ GlobalOptions::GlobalOptions() set_option("BOM", Option("no")); set_option("shell", Option("sh")); set_option("complete_prefix", Option(1)); + set_option("incsearch", Option(1)); set_option("ignored_files", Option(R"(^(\..*|.*\.(o|so|a))$)")); } |