diff options
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/java/sevenUnitsGUI/Presenter.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/java/sevenUnitsGUI/Presenter.java b/src/main/java/sevenUnitsGUI/Presenter.java index e383b2c..44261a5 100644 --- a/src/main/java/sevenUnitsGUI/Presenter.java +++ b/src/main/java/sevenUnitsGUI/Presenter.java @@ -1057,6 +1057,9 @@ public final class Presenter { case "search_prefix_rule": this.setSearchRuleFromString(value); break; + case "use_default_datafiles": + this.useDefaultDatafiles = Boolean.parseBoolean(value); + break; case "locale": if (this.locales.containsKey(value)) { this.userLocale = value; @@ -1421,6 +1424,8 @@ public final class Presenter { String.format("include_duplicates=%s\n", this.showDuplicates)); writer.write(String.format("search_prefix_rule=%s\n", searchRuleToString(this.searchRule))); + writer.write( + String.format("use_default_datafiles=%s\n", this.useDefaultDatafiles)); writer.write(String.format("locale=%s\n", this.userLocale)); return true; } catch (final IOException e) { |