Fix bug 4037 and related problems. The patch has been cleaned up a bit

[features.git] / src / insets / InsetERT.h

diff --git a/src/insets/InsetERT.h b/src/insets/InsetERT.h
index 9a6577dcdccb019ed06a7d749622218687f346c6..05540aad270651603ebe60099c95026f4bf9257a 100644 (file)
--- a/src/insets/InsetERT.h
+++ b/src/insets/InsetERT.h
@@ -67,8 +67,10 @@ public:
        ///
        bool showInsetDialog(BufferView *) const;
        ///
-       bool forceDefaultParagraphs(idx_type) const { return true; }
-       /// should paragraph indendation be ommitted in any case?
+       virtual bool forceEmptyLayout() const { return true; }
+       ///
+       virtual bool allowParagraphCustomization(idx_type) const { return false; }
+       /// should paragraph indendation be omitted in any case?
        bool neverIndent(Buffer const &) const { return true; }
 protected:
        InsetERT(InsetERT const &);