codemirror editors: only make patch when user actually does something; simplify code by deleting something suspicious; switch from debounce to throttle... based on a lot of user feedback.
codemirror editors: only make patch when user actually does something; simplify code by deleting something suspicious; switch from debounce to throttle... based on a lot of user feedback.

tscholl2/smc,tscholl2/smc,tscholl2/smc,DrXyzzy/smc,DrXyzzy/smc,DrXyzzy/smc,sagemathinc/smc,DrXyzzy/smc,sagemathinc/smc,sagemathinc/smc,tscholl2/smc,sagemathinc/smc,tscholl2/smc