Searched refs:lineNumbersVisibleInFiltered_ (Results 1 – 4 of 4) sorted by relevance
80 { return lineNumbersVisibleInFiltered_; } in filteredLineNumbersVisible()84 { lineNumbersVisibleInFiltered_ = lineNumbersVisible; } in setFilteredLineNumbersVisible()113 bool lineNumbersVisibleInFiltered_; variable
47 lineNumbersVisibleInFiltered_ = true; in Configuration()105 lineNumbersVisibleInFiltered_ = in retrieveFromStorage()136 settings.setValue( "view.lineNumbersVisibleInFiltered", lineNumbersVisibleInFiltered_ ); in saveToStorage()