And in a way of "formal" announcement: I have now pushed a way to do global search, with one line of context (one line before, one line after).
Screenshot here: https://plus.google.com/103097156557482112329/posts/6qSngscG38Y Instructions (with current trunk): - enable bigdash.py plugin - alt-x global-search - Enter "s somesearch" in the line editor and press enter - Browse the hits. Click on link to navigate to the node. Caveats: - If the document is not in currently active tab, the navigation is done "in the background". Correct implementation would be to activate the tab in order to bring attention to it. -- 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.
