build up a nice large history (say, over 300 commands)
run plush
type control-R to bring up history...
1) it is slow to display
2) it is slow to filter down
once you select some command, hit return (only once)
3) it is REALLY slow to enter that command and have history comedown
This is mostly due to the fact that the history list is actually styling on the
scroll back - and involves lots of hiding/showing of divs. Probably the right
fix is to build a parallel array of strings in JS, and when showing history,
show just a single overlay-div with a simple list in in of those strings.
history filtering should be then just removing (or perhaps hiding/showing)
those list items. My guess is that this will make it much faster.
Original issue reported on code.google.com by mzero@google.com on 11 Dec 2012 at 7:19
Original issue reported on code.google.com by
mzero@google.com
on 11 Dec 2012 at 7:19