|
| From: | Eric Sunshine |
| Subject: | Re: [PATCH] Shell selection refinement |
| Date: | Sun, 02 May 2004 23:57:15 -0400 |
| User-agent: | Mozilla/5.0 (Windows; U; Win98; en-US; rv:1.5) Gecko/20031007 |
Paul Eggert wrote:
Thanks. I installed that patch (actually, the following slightly different patch):
Thank you. -- ES
| [Prev in Thread] | Current Thread | [Next in Thread] |