Re: Search menu

From: mitchell <mforal.n....at.gmail.com>
Date: Wed, 21 Apr 2010 10:08:18 -0700 (PDT)

Hi,

On Apr 19, 2:53 pm, Robert <ro....at.web.de> wrote:
> 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.

I ended up moving the Search menu into the Tools menu (r563).

Mitchell

>
> 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 athttp://groups.google.com/group/textadept?hl=en.
>
>  searchmenu.patch
> 5KViewDownload

-- 
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 Wed 21 Apr 2010 - 13:08:18 EDT

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