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 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; |