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

Previous Next

Full log

Message #38 received at 68018 <at> debbugs.gnu.org (full text, mbox):

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

> From: Po Lu <luangruo <at> yahoo.com>
> Cc: mardani29 <at> yahoo.es,  68018 <at> debbugs.gnu.org
> 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.

You prefer to have to answer questions from surprised people about why
it's "last" and not "prev"?  Fine by me.

> 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.

Aren't those other parts no-brainers?

> 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.

Are we going to argue again about the importance of mnemonic names?

Previous Next

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