[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: Thu, 31 Jan 2008 09:46:29 +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.

But is not the menus supposed to be more for those that are not advanced users? I would guess that not all beginners are familiar with grep. Using lgrep or rgrep would probably be easy for them though.

reply via email to

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