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