[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Change grep -> lgrep, rgrep in Tools menu?

From: Lennart Borgman (gmail)
Subject: Re: Change grep -> lgrep, rgrep in Tools menu?
Date: Fri, 01 Feb 2008 16:24:15 +0100
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv: Gecko/20071031 Thunderbird/ Mnenhy/

Richard Stallman wrote:
Wouldn't it be better to have the simple commands `lgrep' and `rgrep' in the Tools menu rather than the more advanced command `grep'?

I am not convinced it is better.

Rethinking: Didn't we discuss this once before? And is not the real issue that lgrep/rgrep should be in the edit menu under Search? (And perhaps: why is grep in the tools menu and not in edit - Search?)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]