View Single Post
Old 03-10-2014, 11:49 PM   #3
eschwartz
Ex-Helpdesk Junkie
eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.eschwartz ought to be getting tired of karma fortunes by now.
 
eschwartz's Avatar
 
Posts: 19,422
Karma: 85397180
Join Date: Nov 2012
Location: The Beaten Path, USA, Roundworld, This Side of Infinity
Device: Kindle Touch fw5.3.7 (Wifi only)
It is very distracting, when you type a match and it pops up, but mostly because for some reason the cursor seems to be missing.

I would like the ability to delete them, though, to make the search history more useful. In the main GUI, it doesn't really matter so much, since you will end up with a bunch of totally different things which you can ignore, but when editing, spelling is crucial, and you may also need to just slightly tweak that regex...

I find myself with a list of 10 or 12 more or less identical regexes, and no way to tell which one is which. If I could delete them once I get the right one, only that one would be left, which would make the history useful, but right now there's just too much garbage in it.

Of course, I could edit the config files by hand, but...

Last edited by eschwartz; 03-11-2014 at 01:27 AM. Reason: typo
eschwartz is offline   Reply With Quote