diff options
author | Florian Koch <devfk@outlook.com> | 2022-08-15 23:07:21 +0200 |
---|---|---|
committer | Florian Koch <devfk@outlook.com> | 2022-08-17 10:44:15 +0000 |
commit | 4740430577fa80627a2446e4b8efa14214fcd3f9 (patch) | |
tree | 8b63f7d5477b680de9630123d7c89f80f47e97d6 /src/plugins/texteditor/marginsettings.h | |
parent | 038b839f9eae6092c9d6159d19d495aa4cf4e348 (diff) |
New option for disabling of tinting the right margin area in text editor
Since version 4.14 the right margin of the text editor is tinted. The
fill color corresponds to a darkened editor background color (for light
UI themes), or a lightened background color (for dark themes). However,
the default for most other editors and IDEs is just a single vertical
line, as was the case in Qt Creator up until version 4.13. The different
colored area may be considered uncommon and irritating by some users.
Therefore, the new checkbox "Tint whole margin area" has been added under the
"Text Editor/Display/Text Wrapping" section in the settings for switching
between <= 4.13 and 4.14+ behavior.
Change-Id: I6761943477738a4c78b97a5f70a19f1ff8a428e5
Reviewed-by: <github-actions-qt-creator@cristianadam.eu>
Reviewed-by: David Schulz <david.schulz@qt.io>
Diffstat (limited to 'src/plugins/texteditor/marginsettings.h')
-rw-r--r-- | src/plugins/texteditor/marginsettings.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/plugins/texteditor/marginsettings.h b/src/plugins/texteditor/marginsettings.h index 6df1aaec99..9d66d6c593 100644 --- a/src/plugins/texteditor/marginsettings.h +++ b/src/plugins/texteditor/marginsettings.h @@ -54,6 +54,7 @@ public: { return !one.equals(two); } bool m_showMargin; + bool m_tintMarginArea; bool m_useIndenter; int m_marginColumn; }; |