From 1741f339d4cac847cf9c465a8a1494fe7b50629a Mon Sep 17 00:00:00 2001
From: nyamatongwe <unknown>
Date: Mon, 13 Jun 2011 08:22:12 +1000
Subject: Moved marginOptions from ViewStyle to Editor as it is a behavioural
 option.

---
 src/ViewStyle.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/ViewStyle.h')

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];
-- 
cgit v1.2.3