diff options
| author | Thorbjørn Lindeijer <thorbjorn.lindeijer@nokia.com> | 2009-07-16 11:27:02 +0200 |
|---|---|---|
| committer | Thorbjørn Lindeijer <thorbjorn.lindeijer@nokia.com> | 2009-07-16 11:30:11 +0200 |
| commit | d34bf41a37adcab0904eabb08b9026b7a5fd97a3 (patch) | |
| tree | 6aa9c0fb675b2524c3b1eed7fc245d7e2e1fc8c8 /src/plugins/texteditor/displaysettings.h | |
| parent | e5377519d63620a6321278249f330d9a6f2baf04 (diff) | |
Added the option to turn off marking of text changes
Diffstat (limited to 'src/plugins/texteditor/displaysettings.h')
| -rw-r--r-- | src/plugins/texteditor/displaysettings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/texteditor/displaysettings.h b/src/plugins/texteditor/displaysettings.h index 7cbc190228a..3068714c25e 100644 --- a/src/plugins/texteditor/displaysettings.h +++ b/src/plugins/texteditor/displaysettings.h @@ -55,6 +55,7 @@ struct TEXTEDITOR_EXPORT DisplaySettings bool m_highlightBlocks; bool m_animateMatchingParentheses; bool m_mouseNavigation; + bool m_markTextChanges; bool equals(const DisplaySettings &ds) const; }; |