nl_tokens: DISPLAY DRAWING
pl_tokens: function updateDisplay ( cm , changes , viewPort ) { var oldFrom = cm . display . showingFrom , oldTo = cm . display . showingTo ; var updated = updateDisplayInner ( cm , changes , viewPort ) ; if ( <mask> ) { signalLater ( cm , cm , "update" , cm ) ; if ( cm . display . showingFrom != oldFrom || cm . display . showingTo != oldTo ) signalLater ( cm , cm , "viewportChange" , cm , cm . display . showingFrom , cm . display . showingTo ) ; } updateSelection ( cm ) ; updateScrollbars ( cm . display , cm . view . doc . height ) ; return updated ; }