|
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: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.
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?)
[Prev in Thread] | Current Thread | [Next in Thread] |