diff options
| author | Marko Njezic <unknown> | 2011-06-10 14:38:39 +0200 |
|---|---|---|
| committer | Marko Njezic <unknown> | 2011-06-10 14:38:39 +0200 |
| commit | d2f6831368cd662d7a403cb533f439159f884ca0 (patch) | |
| tree | 7aae6e2815aced8376d3d1a67281c6ed86a62f91 /src/ViewStyle.h | |
| parent | d9de125c32c08f9c4579d166edccedbd2a70e19d (diff) | |
| download | scintilla-mirror-d2f6831368cd662d7a403cb533f439159f884ca0.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]; |