Search menu

From: Robert <ro....at.web.de>
Date: Mon, 19 Apr 2010 20:53:57 +0200

On Fri, Apr 9, 2010 at 2:47 PM, Robert <ro....at.web.de> wrote:
> (Btw. if nobody disagrees then I'd send Mitchell a patch with my
> proposed merging of the search menu into the tools menu. Does anyone
> use the search menu? I assume everybody uses alt-f for opening
> search?)

Ctrl-f I meant, of course.
Reminded by someone creating an issue. Patch file attached.

- Tools
-- Focus Command Entry
-----
Find and Replace
Find Incremental
Jump To

----
etc.
I left the IDs (3xx) of the search menu entries as they were, don't
know if that's a problem.
Robert
-- 
You received this message because you are subscribed to the Google Groups "textadept" group.
To post to this group, send email to textadept.at.googlegroups.com.
To unsubscribe from this group, send email to textadept+unsubscribe.at.googlegroups.com.
For more options, visit this group at http://groups.google.com/group/textadept?hl=en.

Received on Mon 19 Apr 2010 - 14:53:57 EDT

This archive was generated by hypermail 2.2.0 : Thu 08 Mar 2012 - 11:43:53 EST