From a443fc9ce1c98020bd4bba7fbf18ae34ff71f4de Mon Sep 17 00:00:00 2001
From: Marko Njezic <devnull@localhost>
Date: Sat, 25 Feb 2012 00:15:12 +0100
Subject: Remove unused variable.

---
 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 ef8d98e0c..6811cbbb9 100644
--- a/src/ViewStyle.h
+++ b/src/ViewStyle.h
@@ -104,7 +104,6 @@ public:
 	enum { margins=5 };
 	int leftMarginWidth;	///< Spacing margin on left of text
 	int rightMarginWidth;	///< Spacing margin on left of text
-	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];
 	int fixedColumnWidth;
-- 
cgit v1.2.3