Revert "The foot inset does not inherit fonts"

[features.git] / src / BufferView.h

diff --git a/src/BufferView.h b/src/BufferView.h
index 88ad63646156cffc8aee14f3a8bec651025ceb45..b2fa1c028349ba23c3ff9f6bcac8f476319398a4 100644 (file)
--- a/src/BufferView.h
+++ b/src/BufferView.h
@@ -101,6 +101,8 @@ public:
        ///
        void setFullScreen(bool full_screen) { full_screen_ = full_screen; }
 
+       /// default value for the margins
+       int defaultMargin() const;
        /// right margin
        int rightMargin() const;
        /// left margin