Make script inset much tighter in texted.

We use the fact that offsets can be set separately for each inset.

diff --git a/src/insets/InsetScript.h b/src/insets/InsetScript.h
index 1aee8e8dd00852085b125e70cd4bc8c27c744d8d..cd61117a3f47c6fdf04a53d574ffd32c66ae11a4 100644 (file)
--- a/src/insets/InsetScript.h
+++ b/src/insets/InsetScript.h
@@ -68,6 +68,16 @@ public:
        docstring layoutName() const;
        ///
        DisplayType display() const;
+
+       ///
+       int topOffset(BufferView const *) const { return 0; }
+       ///
+       int bottomOffset(BufferView const *) const { return 0; }
+       ///
+       int leftOffset(BufferView const *) const { return 0; }
+       ///
+       int rightOffset(BufferView const *) const { return 0; }
+
        ///
        void metrics(MetricsInfo &, Dimension &) const;
        ///