diff options
author | David Schulz <david.schulz@theqtcompany.com> | 2015-06-04 10:43:34 +0200 |
---|---|---|
committer | David Schulz <david.schulz@theqtcompany.com> | 2015-06-16 09:02:14 +0000 |
commit | c82d287cbfa0d2cb73302358f3046a91528e8588 (patch) | |
tree | f5c175de924027ba6b0c73ba6c7cd70550f66e9f /src/plugins/texteditor/displaysettings.h | |
parent | 92c902c70cef7b48a1aa0e6f1e5c5c20198df226 (diff) |
Editor: Highlight Search results in scrollbar.
Change-Id: I999ddeeedbd6bdd7abebf75405d7e9281a1893df
Reviewed-by: Eike Ziller <eike.ziller@theqtcompany.com>
Reviewed-by: Orgad Shaneh <orgads@gmail.com>
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 7c3c059fcc2..fc1aa906d87 100644 --- a/src/plugins/texteditor/displaysettings.h +++ b/src/plugins/texteditor/displaysettings.h @@ -61,6 +61,7 @@ public: bool m_openLinksInNextSplit; bool m_forceOpenLinksInNextSplit; bool m_displayFileEncoding; + bool m_scrollBarHighlights; bool equals(const DisplaySettings &ds) const; }; |