diff options
Diffstat (limited to 'src/prefs.cc')
| -rw-r--r-- | src/prefs.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/prefs.cc b/src/prefs.cc index eb1a1079..8ec80569 100644 --- a/src/prefs.cc +++ b/src/prefs.cc @@ -349,6 +349,8 @@ PrefPtr PREF_STOP_WITH_PROCESS = makePref("stop-with-process"); PrefPtr PREF_ENABLE_MMAP = makePref("enable-mmap"); // value: true | false PrefPtr PREF_FORCE_SAVE = makePref("force-save"); +// value: true | false +PrefPtr PREF_SAVE_NOT_FOUND = makePref("save-not-found"); // value: 1*digit PrefPtr PREF_DISK_CACHE = makePref("disk-cache"); // value: string |