diff options
| author | Marko Njezic <devnull@localhost> | 2011-06-10 14:38:39 +0200 |
|---|---|---|
| committer | Marko Njezic <devnull@localhost> | 2011-06-10 14:38:39 +0200 |
| commit | eb5cb13123d45c775db0499583dde98b7c8341ee (patch) | |
| tree | 7e9f785f2814491f4a85797005def46b2b2aef80 /src/ViewStyle.h | |
| parent | 02d0fdde768bafca67b49ec9d1f2663c40ba2fc7 (diff) | |
| download | scintilla-mirror-eb5cb13123d45c775db0499583dde98b7c8341ee.tar.gz | |
Add an option to control how wrapped lines are selected when clicking on margin.
Diffstat (limited to 'src/ViewStyle.h')
| -rw-r--r-- | src/ViewStyle.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ViewStyle.h b/src/ViewStyle.h index b038a9b54..f62529adf 100644 --- a/src/ViewStyle.h +++ b/src/ViewStyle.h @@ -102,6 +102,7 @@ public: enum { margins=5 }; int leftMarginWidth; ///< Spacing margin on left of text int rightMarginWidth; ///< Spacing margin on left of text + int marginOptions; bool symbolMargin; int maskInLine; ///< Mask for markers to be put into text because there is nowhere for them to go in margin MarginStyle ms[margins]; |