Subject: Re: bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el

From: Eli Zaretskii <[email-masked]>
Date: Wed, 27 Dec 2023 15:39:27 +0200

> From: Po Lu <[email-masked]>
> Cc: [email-masked],  [email-masked]
> Date: Wed, 27 Dec 2023 21:02:18 +0800
> 
> Eli Zaretskii <[email-masked]> 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?