[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.
From: |
Po Lu |
Subject: |
bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el |
Date: |
Wed, 27 Dec 2023 21:02:18 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@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.
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Daniel Martín, 2023/12/24
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Po Lu, 2023/12/24
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Daniel Martín, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Po Lu, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Eli Zaretskii, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Po Lu, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Eli Zaretskii, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Stefan Kangas, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Po Lu, 2023/12/25
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Eli Zaretskii, 2023/12/27
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el,
Po Lu <=
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Eli Zaretskii, 2023/12/27
- bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el, Eli Zaretskii, 2023/12/30