| 2338 | } |
| 2339 | |
| 2340 | FilterWidget::Options InterfaceSettings::filterOptions() const |
| 2341 | { |
| 2342 | FilterWidget::Options o; |
| 2343 | |
| 2344 | o.useRegex = get<bool>(m_Settings, "Settings", "filter_regex", false); |
| 2345 | o.regexCaseSensitive = |
| 2346 | get<bool>(m_Settings, "Settings", "regex_case_sensitive", false); |
| 2347 | o.regexExtended = get<bool>(m_Settings, "Settings", "regex_extended", false); |
| 2348 | o.scrollToSelection = |
| 2349 | get<bool>(m_Settings, "Settings", "filter_scroll_to_selection", false); |
| 2350 | |
| 2351 | return o; |
| 2352 | } |
| 2353 | |
| 2354 | void InterfaceSettings::setFilterOptions(const FilterWidget::Options& o) |
| 2355 | { |