(cm)
| 3516 | |
| 3517 | // Called when the window resizes |
| 3518 | function onResize(cm) { |
| 3519 | var d = cm.display; |
| 3520 | if (d.lastWrapHeight == d.wrapper.clientHeight && d.lastWrapWidth == d.wrapper.clientWidth) |
| 3521 | return; |
| 3522 | // Might be a text scaling operation, clear size caches. |
| 3523 | d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null; |
| 3524 | d.scrollbarsClipped = false; |
| 3525 | cm.setSize(); |
| 3526 | } |
| 3527 | |
| 3528 | // MOUSE EVENTS |
| 3529 |
nothing calls this directly
no outgoing calls
no test coverage detected