(cm)
| 3396 | |
| 3397 | // Called when the window resizes |
| 3398 | function onResize(cm) { |
| 3399 | var d = cm.display; |
| 3400 | if (d.lastWrapHeight == d.wrapper.clientHeight && d.lastWrapWidth == d.wrapper.clientWidth) |
| 3401 | return; |
| 3402 | // Might be a text scaling operation, clear size caches. |
| 3403 | d.cachedCharWidth = d.cachedTextHeight = d.cachedPaddingH = null; |
| 3404 | d.scrollbarsClipped = false; |
| 3405 | cm.setSize(); |
| 3406 | } |
| 3407 | |
| 3408 | // MOUSE EVENTS |
| 3409 |
nothing calls this directly
no outgoing calls
no test coverage detected