Quote:
Originally Posted by kovidgoyal
Since the history list is sorted by most-recently-used entries, those that you would want to delete should naturally just drop of the list with time. So I dont really see the point of deleting entries.
|
I'm working on some pretty bad epub structure. That result with 10 or 15 variations of a similar search (ex including or not some <i> or <b> or some <span> or some <b><i> vs <i><b> etc.) which encumbered the search history. Being able to delete some of those entries in the search history (and the replace history) would be a plus.