Closed toolness closed 8 years ago
I suspect this has something to do with us instantaneously hiding and then showing the codemirror widget every 150ms (see 9823ba1d40aa8642c61c64b95be0a91ca1e0750d).
I suspect this has something to do with us instantaneously hiding and then showing the codemirror widget every 150ms (see 9823ba1d40aa8642c61c64b95be0a91ca1e0750d).