https://gitorious.org/jbotci/jbotci.git
Revision 0aab7812d747c91a33008422f6ab480c91bc884e authored by David Gowers on 14 September 2010, 05:19:08 UTC, committed by David Gowers on 14 September 2010, 05:22:55 UTC
Also, ensure the config file is always saved, so that new or renamed options get into it. I like to set the option to "fu'ivla;cmene" and occasionally add lujvo to that list. Type and number of results omitted are tracked, and printed immediately before search results.
1 parent 6a10da6
Tip revision: 0aab7812d747c91a33008422f6ab480c91bc884e authored by David Gowers on 14 September 2010, 05:19:08 UTC
Implement auto-hiding of certain word types during search (via config file option).
Implement auto-hiding of certain word types during search (via config file option).
Tip revision: 0aab781
File | Mode | Size |
---|---|---|
.makfa.dump | -rw-r--r-- | 1.4 MB |
jbofacki.py | -rwxr-xr-x | 32.6 KB |
Computing file changes ...