Comment 5 for bug 1186697

Revision history for this message
Jacob Parker (jacobparker1992) wrote :

Maybe have an 'auto refresh' option, and it refreshes one second after the last keystroke? If you auto refresh each time, it will eat CPU time, and will be broken a lot of the time.