search

nengo / nengo-gui

Nengo interactive visualizer
Other
97 stars 38 forks source link

When GUI slows down, checking for errors for each character is bad #444

Open Seanny123 opened 9 years ago

Seanny123 commented 9 years ago

One of the students of the summer school had to deal with very annoying delays because the server would check for errors for each character they typed. Alternatively, could it wait for the user to stop modifying the text file before sending updates? At least for several seconds?

tcstewar commented 9 years ago

Alternatively, could it wait for the user to stop modifying the text file before sending updates? At least for several seconds?

Good idea. Even doing something like only doing the update ~2 seconds after the last text change...

tcstewar commented 8 years ago

This problem can now be worked-around by toggling auto-updating (thanks to #676). However, it would be good to do something along these line anyway in the future.

krisfrenette commented 5 years ago

This could likely be solved with some sort of debounce on the editor. Something that we can look at in the refactoring,.