Searched refs:searchIgnoreCase_ (Results 1 – 4 of 4) sorted by relevance
92 { return searchIgnoreCase_; } in isSearchIgnoreCaseDefault()94 { searchIgnoreCase_ = ignore_case; } in setSearchIgnoreCaseDefault()117 bool searchIgnoreCase_; variable
53 searchIgnoreCase_ = false; in Configuration()116 searchIgnoreCase_ = settings.value( "defaultView.searchIgnoreCase" ).toBool(); in retrieveFromStorage()138 settings.setValue( "defaultView.searchIgnoreCase", searchIgnoreCase_ ); in saveToStorage()