diff options
| author | nyamatongwe <devnull@localhost> | 2011-06-13 08:22:12 +1000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2011-06-13 08:22:12 +1000 |
| commit | bd0968c217d7385c9801ba51da45add548c63941 (patch) | |
| tree | c0af50f12bc2c3812d44e589140c5a744474c788 /src/ViewStyle.h | |
| parent | eb5cb13123d45c775db0499583dde98b7c8341ee (diff) | |
| download | scintilla-mirror-bd0968c217d7385c9801ba51da45add548c63941.tar.gz | |
Moved marginOptions from ViewStyle to Editor as it is a behavioural option.
Diffstat (limited to 'src/ViewStyle.h')
| -rw-r--r-- | src/ViewStyle.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ViewStyle.h b/src/ViewStyle.h index f62529adf..b038a9b54 100644 --- a/src/ViewStyle.h +++ b/src/ViewStyle.h @@ -102,7 +102,6 @@ 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]; |