[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#43308: 28.0.50; Improvements to Edit->Search menu
From: |
Eli Zaretskii |
Subject: |
bug#43308: 28.0.50; Improvements to Edit->Search menu |
Date: |
Mon, 25 Apr 2022 14:36:44 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: 43308@debbugs.gnu.org, Eli Zaretskii <eliz@gnu.org>
> Date: Mon, 25 Apr 2022 12:46:04 +0200
>
> I.e., have both
>
> Search
> Incremental Search
>
> directly under Edit.
I won't object to such a change, but IMO it's important to keep the
above order, i.e. not to put "Incremental Search" first.