summaryrefslogtreecommitdiff
path: root/src/settings.cpp
diff options
context:
space:
mode:
authorAl <26797547+Al12rs@users.noreply.github.com>2020-02-25 14:02:49 +0100
committerGitHub <noreply@github.com>2020-02-25 14:02:49 +0100
commitf02aa15fc57736b560da8320fbff5349ae2a5001 (patch)
treef73ea4680518b26bde73a099aa28f932fb65d384 /src/settings.cpp
parente5688ecea38d7a4247d0cd50d7ce290f1d810c2b (diff)
parent22f8698e0b75db06be166c653edb17e6808f8672 (diff)
Merge pull request #1017 from Al12rs/filterwidget_updates
Filterwidget updates
Diffstat (limited to 'src/settings.cpp')
-rw-r--r--src/settings.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.cpp b/src/settings.cpp
index f0496fe8..1b8c51b8 100644
--- a/src/settings.cpp
+++ b/src/settings.cpp
@@ -2009,6 +2009,7 @@ FilterWidget::Options InterfaceSettings::filterOptions() const
o.useRegex = get<bool>(m_Settings, "Settings", "filter_regex", false);
o.regexCaseSensitive = get<bool>(m_Settings, "Settings", "regex_case_sensitive", false);
o.regexExtended = get<bool>(m_Settings, "Settings", "regex_extended", false);
+ o.scrollToSelection = get<bool>(m_Settings, "Settings", "filter_scroll_to_selection", false);
return o;
}
@@ -2018,6 +2019,7 @@ void InterfaceSettings::setFilterOptions(const FilterWidget::Options& o)
set(m_Settings, "Settings", "filter_regex", o.useRegex);
set(m_Settings, "Settings", "regex_case_sensitive", o.regexCaseSensitive);
set(m_Settings, "Settings", "regex_extended", o.regexExtended);
+ set(m_Settings, "Settings", "filter_scroll_to_selection", o.scrollToSelection);
}