|
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:1.8.1.9) Gecko/20071031 Thunderbird/2.0.0.9 Mnenhy/0.7.5.666 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |