[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: |
Eli Zaretskii |
Subject: |
bug#68018: [PATCH] Fix previous page and next page tooltips in doc-view.el |
Date: |
Mon, 25 Dec 2023 14:22:18 +0200 |
> Cc: 68018@debbugs.gnu.org
> Date: Mon, 25 Dec 2023 19:59:39 +0800
> From: Po Lu via "Bug reports for GNU Emacs,
> the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
>
> Daniel Martín <mardani29@yahoo.es> writes:
>
> > So that the name of the icon matches what the icon really represents.
>
> I don't see an appreciable distinction between "previous" and "last" in
> this context, except perhaps that "previous" might refer to the page
> previously visited (in contrast to the preceding page in the document),
> which is not the function of the Doc View command in question. As such,
> please don't rename the icon. Thanks.
Doesn't the icon's name say what it is supposed to mean? I don't
think I like to see "last-page" where the function is
doc-view-previous-page. If the icon's image is not very
self-explanatory, we should perhaps look for a better icon, but that
is unrelated to this issue.
- 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 <=
- 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, 2023/12/27
- 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