marijnh/CodeMirror — pull request #1682 by vsevik (2013-07-16 10:16:23+00:00)
Title: Make setSize faster

In Chrome Developer Tools we have animations for console opening.
During this animation we need to resize code mirror editor instance.
Trying to do that shows that setSize is unacceptably slow for our scenario.

It seems to me that calling refresh() on resize is an overkill.

Right now refresh does 3 things:
1. Clear caches: this should not be needed as the content and the way it is represented did not change. At most we need to reset some flags like maxLineChanged but I am not familiar with the code enough to say for sure.
2. Update scroll position: this is still needed for resize handling
3. regChange call.

It's not clear to me what regChange is supposed to do.
I understand that we need to make sure sizer has the correct size. Apparently it is enough to call regChange for a single line for that. Is there any problem this might cause?