+ /* FIXME : the test below avoids that the spacing grows grows
+ * when a BEGIN/END_SEL element is added (typically start or
+ * end a selection after a fraction). I would think that the
+ * code should just go under the e.mclass != MC_UNKNOWN branch
+ * below, but I am not sure why it has not been done before.
+ * Therefore, until we double check this, be very conservative
+ */
+ if (e.type != BEGIN_SEL && e.type != END_SEL)
+ bef.after = max(bef.after, markerMargin(bef));