[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a
From: |
Eli Zaretskii |
Subject: |
bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history |
Date: |
Sun, 03 Apr 2016 21:39:13 +0300 |
> From: Lars Magne Ingebrigtsen <larsi@gnus.org>
> Cc: 22627@debbugs.gnu.org
> Date: Sun, 03 Apr 2016 20:26:05 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > I'm frustrated by your rushing to implement something that is still
> > under discussion. FWIW, I'm not sure we want to maintain such a
> > feature.
>
> Well, I think all these modes (*Help*, grep, eww) should have the
> `g'/`r'/`l' command set, where feasible. They feel very natural.
>
> Having multiple *Help*, grep and eww buffers is also nice. Different
> work flows for different people.
That entirely misses the point, and you know it.
- bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Lars Magne Ingebrigtsen, 2016/04/03
- bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Drew Adams, 2016/04/03
- bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Eli Zaretskii, 2016/04/03
- bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Lars Magne Ingebrigtsen, 2016/04/03
- bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Drew Adams, 2016/04/03
bug#22627: 25.1.50; Wishlist: It would be nice if the grep buffer had a history, Óscar Fuentes, 2016/04/03