DescriptionDevTools: Don't refresh CodeMirror if it is hidden
CodeMirror.refresh is expensive, and calling it when CodeMirror is hidden breaks the gutters.
BUG=none
Committed: https://crrev.com/1e5ed305bafdfece6a07cfd342ac08370ad3d28e
Cr-Commit-Position: refs/heads/master@{#418684}
Patch Set 1 #
Total comments: 1
Patch Set 2 : indexOf #
Messages
Total messages: 12 (6 generated)
|