GNU bug report logs - #68018
[PATCH] Fix previous page and next page tooltips in doc-view.el

Previous Next

Full log

View this message in rfc822 format

From: Po Lu <luangruo <at> yahoo.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 68018 <at> debbugs.gnu.org, mardani29 <at> yahoo.es
Subject: bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el
Date: Wed, 27 Dec 2023 21:02:18 +0800

Eli Zaretskii <eliz <at> gnu.org> writes:

> Then how about copying last-page.* into prev-page.*, so that we keep
> both?

I think there are tasks worthier of our attention than duplicating an
icon in order to create a copy whose name reflects a marginally
different meaning from that which the original's does.  It would spare
us a lot of quibbling if we focused on the substantive part of this
change, namely the two corrections to the tooltips, rather than the
renaming of an icon.  But maybe that's just me, and we do want the names
of each icon in etc/images to be 150% representative of every meaning it
might carry.

TIA.

Previous Next

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