diff options
| author | nyamatongwe <unknown> | 2011-06-13 08:22:12 +1000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2011-06-13 08:22:12 +1000 |
| commit | 1741f339d4cac847cf9c465a8a1494fe7b50629a (patch) | |
| tree | 71fad8a1baf916397c6b96fe85c761c203232e10 /src/ViewStyle.h | |
| parent | d2f6831368cd662d7a403cb533f439159f884ca0 (diff) | |
| download | scintilla-mirror-1741f339d4cac847cf9c465a8a1494fe7b50629a.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]; |