On Fri, Feb 26, 2021 at 08:31:43PM +0100, Enrico Forestieri wrote:
> commit c2facb8c565610d6a702c39b2f95572551f624be
> Author: Enrico Forestieri
> Date: Fri Feb 26 20:30:41 2021 +0100
>
> Fix cursor navigation in \overbrace and \underbrace
>
> Due to the way these decorations are
Am Sonntag, dem 28.02.2021 um 15:28 +0100 schrieb Enrico Forestieri:
> > Ctrl-F actually toggles.
>
> It was toggling, but apparently not anymore with latest master.
No, I have been pushed (and convinced) to remove that. But Esc works
(as in the other dock widgets)
Jürgen
signature.asc
On Mon, Feb 15, 2021 at 03:23:52PM +0100, Jürgen Spitzmüller wrote:
> Am Montag, dem 15.02.2021 um 15:09 +0100 schrieb Enrico Forestieri:
> > Thanks. Another glitch is the fact that the search dialog can only be
> > dismissed by the X-close button (the toolbar button does not toggle).
> > However,
Am Samstag, dem 27.02.2021 um 20:40 -0500 schrieb Richard Kimberly
Heck:
> Yes, better, but the markers do not appear when they are in section
> headings.
>
> The other problem I reported is still there: If the marker is in a
> footnote, then it appears not on the line where the footnote is but
>