On 2/25/21 2:25 PM, Jean-Marc Lasgouttes wrote:
Le 19/02/2021 à 22:05, Richard Kimberly Heck a écrit :
If you put a bookmark into the middle of a paragraph, then the marker
for it moves if you enter new material ahead of it. This is of course
because the bookmark is keyed to paragraph and posit
Le 25/02/2021 à 20:19, Enrico Forestieri a écrit :
These HiDPI issues are so much elusive. There are now so many different
factors that can make it a chaotic behavior.
This was the reason why I did not make up my mind until now. But I see
it was a mistake and that the best is to commit *someth
Le 19/02/2021 à 22:05, Richard Kimberly Heck a écrit :
If you put a bookmark into the middle of a paragraph, then the marker
for it moves if you enter new material ahead of it. This is of course
because the bookmark is keyed to paragraph and position, but it is very
distracting on screen. I'm h
On Thu, Feb 25, 2021 at 07:33:01PM +0100, Jean-Marc Lasgouttes wrote:
> Le 25/02/2021 à 17:32, Jean-Marc Lasgouttes a écrit :
> > Le 25/02/2021 à 15:07, Enrico Forestieri a écrit :
> > > JMarc, did you forget to apply this? There are reports that it actually
> > > solves issues (see #11875).
> >
>
Le 25/02/2021 à 17:32, Jean-Marc Lasgouttes a écrit :
Le 25/02/2021 à 15:07, Enrico Forestieri a écrit :
JMarc, did you forget to apply this? There are reports that it actually
solves issues (see #11875).
It was indeed never applied. Worse, I am not sure what was in this patch :)
What I would
Thanks, this has been fixed already in master.
Jürgen
Paul A. Rubin schrieb am Mi., 24. Feb. 2021, 23:09:
> The attached screenshot shows the find/replace dialog in Alpha 3 (on
> Linux Mint, using Liv's packaged version). Note that the label "Replace"
> in the replace next button is mostly off
Le 25/02/2021 à 15:07, Enrico Forestieri a écrit :
On Sun, Jul 19, 2020 at 08:45:19AM +0200, Stephan Witt wrote:
Am 18.07.2020 um 00:06 schrieb Jean-Marc Lasgouttes :
Now that I have a HiDpi screen, I really feel the need to do something.
This trivial patch works pretty well with Linux/X11 :
On Sun, Jul 19, 2020 at 08:45:19AM +0200, Stephan Witt wrote:
> Am 18.07.2020 um 00:06 schrieb Jean-Marc Lasgouttes :
> >
> > Now that I have a HiDpi screen, I really feel the need to do something.
> >
> > This trivial patch works pretty well with Linux/X11 :)
> >
> > Could someone try it it wi
