From 01651351e43390412dd45ad8e1d6dd52476d68b6 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Wed, 15 Jan 2020 11:08:38 +0100
Subject: [PATCH] Make script inset much tighter in texted.

We use the fact that offsets can be set separately for each inset.
---
 src/insets/InsetScript.h | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/insets/InsetScript.h b/src/insets/InsetScript.h
index 1aee8e8dd0..cd61117a3f 100644
--- 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;
 	///
-- 
2.39.5