()
| 1803 | }; |
| 1804 | |
| 1805 | var previewUnbindScroll = function() { |
| 1806 | preview.unbind(mouseOrTouch("scroll", "touchmove")); |
| 1807 | }; |
| 1808 | |
| 1809 | codeMirror.bind({ |
| 1810 | mouseover : cmBindScroll, |
nothing calls this directly
no outgoing calls
no test coverage detected