On Wed, Mar 7, 2012 at 2:44 AM, Terry Brown <[email protected]> wrote:
>> No, this is a missing feature. I want it to select the tab so you see >> where the focus was moved. > > c.bringToFront() brings the tab to front, I think. Something I hacked > in a while ago. Indeed it does, thanks for the feature :). global-search now brings focus to right tab + node when clicking on a link in search hits. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
