diff options
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]; |