GNU bug report logs - #72275
30.0.60; [PATCH] Fix jumping to page in DocView's text contents

Previous Next

Full log

Message #13 received at 72275-done <at> debbugs.gnu.org (full text, mbox):

From: Manuel Giraud <manuel <at> ledu-giraud.fr>
To: Tassilo Horn <tsdh <at> gnu.org>
Cc: 72275-done <at> debbugs.gnu.org
Subject: Re: bug#72275: 30.0.60; [PATCH] Fix jumping to page in DocView's
 text contents
Date: Thu, 25 Jul 2024 09:50:50 +0200

Tassilo Horn <tsdh <at> gnu.org> writes:

[...]

> Hm, it looks like that was wrong from the beginning when Lars added that
> in commit c1c9af312ed3 in 2019.  page-delimiter never had a different
> default value and pdftotext always used just ^L (FORM FEED)...
>
> Looking at what other modes do, I've set page-delimiter buffer-locally
> to the form feed character in the new text contents buffer now, i.e.,
> it's only fixed on master which I think is ok given that nobody except
> you found the issue in the last 5 years.

Hi Tassilo,

Thanks for this improvement and fine by me for this to be on master
only.
-- 
Manuel Giraud

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.