Should clicking on a result take me to the file? On Mon, Mar 5, 2012 at 2:58 PM, Ville M. Vainio <[email protected]> wrote: > I have now pushed full text search support (operational already, not > as nice as it will be later on ;-). > > Screenshot here: > > https://plus.google.com/103097156557482112329/posts/HnobiCY4QJR > > Usage in a nutshell: > > - easy_install Whoosh > - enable plugin "bigdash.py" (implementation itself is in leofts.py, > but it's enough to enable bigdash.py). > - Open the .leo files you want to search > - alt-x global-search > > And in the dashboard line entry: > > - Do "fts init" to create the index from all the open files > - Do "f foo bar" to search for terms "foo" and "bar". > > (quick ref in the attached screenshot) > > Note that you don't need to have the .leo files open anymore. > > What's missing: > > - Clicking on links won't select the position if the .leo file is not > open. That can be arranged later on (e.g. clicking on UNL could open > the file and navigate to the tree position). > > - Source snippets won't be shown (as you can see from screenshots). It > will be quite easy to show snippets with highlighted items FOR LEO > FILES THAT ARE OPEN, I just didn't have time to do it now. Index > doesn't have full contents of the nodes (by design, I could store > those in the index too but I don't want to bloat it up), but yet I > have some ambitions to show also snippets from closed leo files. For > this, I need a lightweight xml file parsing and some way to drill into > @thin files and parse sentinels as well, > > -- > 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. >
-- 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.
