Use new display() values to remove some inset hardcoding.

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

diff --git a/src/insets/InsetSeparator.h b/src/insets/InsetSeparator.h
index 5d080ccae6c32d5c3576186a1cc221e357f9d119..4d53b956c2b75561da47b0d42860c3e812501e52 100644 (file)
--- a/src/insets/InsetSeparator.h
+++ b/src/insets/InsetSeparator.h
@@ -64,6 +64,8 @@ public:
                // remove warning
                return docstring();
        }
+       ///
+       DisplayType display() const { return BreakAfter | NoBoundary; }
 private:
        ///
        InsetSeparatorParams params() const { return params_; }