Make script inset much tighter in texted.

We use the fact that offsets can be set separately for each inset.
This commit is contained in:
Jean-Marc Lasgouttes 2020-01-15 11:08:38 +01:00
parent 0ef2c192c0
commit 9176e60b7b

View File

@ -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;
///