@@ -20,7 +20,7 @@ import { updateHeightsInViewport } from "./update_lines"
2020// error-prone). Instead, display updates are batched and then all
2121// combined and executed at once.
2222
23- var nextOpId = 0
23+ let nextOpId = 0
2424// Start a new operation.
2525export function startOperation ( cm ) {
2626 cm . curOp = {
@@ -45,9 +45,9 @@ export function startOperation(cm) {
4545
4646// Finish an operation, updating the display and signalling delayed events
4747export function endOperation ( cm ) {
48- var op = cm . curOp
48+ let op = cm . curOp
4949 finishOperation ( op , function ( group ) {
50- for ( var i = 0 ; i < group . ops . length ; i ++ )
50+ for ( let i = 0 ; i < group . ops . length ; i ++ )
5151 group . ops [ i ] . cm . curOp = null
5252 endOperations ( group )
5353 } )
@@ -56,21 +56,21 @@ export function endOperation(cm) {
5656// The DOM updates done when an operation finishes are batched so
5757// that the minimum number of relayouts are required.
5858function endOperations ( group ) {
59- var ops = group . ops
60- for ( var i = 0 ; i < ops . length ; i ++ ) // Read DOM
59+ let ops = group . ops
60+ for ( let i = 0 ; i < ops . length ; i ++ ) // Read DOM
6161 endOperation_R1 ( ops [ i ] )
62- for ( var i = 0 ; i < ops . length ; i ++ ) // Write DOM (maybe)
62+ for ( let i = 0 ; i < ops . length ; i ++ ) // Write DOM (maybe)
6363 endOperation_W1 ( ops [ i ] )
64- for ( var i = 0 ; i < ops . length ; i ++ ) // Read DOM
64+ for ( let i = 0 ; i < ops . length ; i ++ ) // Read DOM
6565 endOperation_R2 ( ops [ i ] )
66- for ( var i = 0 ; i < ops . length ; i ++ ) // Write DOM (maybe)
66+ for ( let i = 0 ; i < ops . length ; i ++ ) // Write DOM (maybe)
6767 endOperation_W2 ( ops [ i ] )
68- for ( var i = 0 ; i < ops . length ; i ++ ) // Read DOM
68+ for ( let i = 0 ; i < ops . length ; i ++ ) // Read DOM
6969 endOperation_finish ( ops [ i ] )
7070}
7171
7272function endOperation_R1 ( op ) {
73- var cm = op . cm , display = cm . display
73+ let cm = op . cm , display = cm . display
7474 maybeClipScrollbars ( cm )
7575 if ( op . updateMaxLine ) findMaxLine ( cm )
7676
@@ -87,7 +87,7 @@ function endOperation_W1(op) {
8787}
8888
8989function endOperation_R2 ( op ) {
90- var cm = op . cm , display = cm . display
90+ let cm = op . cm , display = cm . display
9191 if ( op . updatedDisplay ) updateHeightsInViewport ( cm )
9292
9393 op . barMeasure = measureForScrollbars ( cm )
@@ -108,7 +108,7 @@ function endOperation_R2(op) {
108108}
109109
110110function endOperation_W2 ( op ) {
111- var cm = op . cm
111+ let cm = op . cm
112112
113113 if ( op . adjustWidthTo != null ) {
114114 cm . display . sizer . style . minWidth = op . adjustWidthTo + "px"
@@ -117,7 +117,7 @@ function endOperation_W2(op) {
117117 cm . display . maxLineChanged = false
118118 }
119119
120- var takeFocus = op . focus && op . focus == activeElt ( ) && ( ! document . hasFocus || document . hasFocus ( ) )
120+ let takeFocus = op . focus && op . focus == activeElt ( ) && ( ! document . hasFocus || document . hasFocus ( ) )
121121 if ( op . preparedSelection )
122122 cm . display . input . showSelection ( op . preparedSelection , takeFocus )
123123 if ( op . updatedDisplay || op . startHeight != cm . doc . height )
@@ -133,7 +133,7 @@ function endOperation_W2(op) {
133133}
134134
135135function endOperation_finish ( op ) {
136- var cm = op . cm , display = cm . display , doc = cm . doc
136+ let cm = op . cm , display = cm . display , doc = cm . doc
137137
138138 if ( op . updatedDisplay ) postUpdateDisplay ( cm , op . update )
139139
@@ -155,17 +155,17 @@ function endOperation_finish(op) {
155155 }
156156 // If we need to scroll a specific position into view, do so.
157157 if ( op . scrollToPos ) {
158- var coords = scrollPosIntoView ( cm , clipPos ( doc , op . scrollToPos . from ) ,
158+ let coords = scrollPosIntoView ( cm , clipPos ( doc , op . scrollToPos . from ) ,
159159 clipPos ( doc , op . scrollToPos . to ) , op . scrollToPos . margin )
160160 if ( op . scrollToPos . isCursor && cm . state . focused ) maybeScrollWindow ( cm , coords )
161161 }
162162
163163 // Fire events for markers that are hidden/unidden by editing or
164164 // undoing
165- var hidden = op . maybeHiddenMarkers , unhidden = op . maybeUnhiddenMarkers
166- if ( hidden ) for ( var i = 0 ; i < hidden . length ; ++ i )
165+ let hidden = op . maybeHiddenMarkers , unhidden = op . maybeUnhiddenMarkers
166+ if ( hidden ) for ( let i = 0 ; i < hidden . length ; ++ i )
167167 if ( ! hidden [ i ] . lines . length ) signal ( hidden [ i ] , "hide" )
168- if ( unhidden ) for ( var i = 0 ; i < unhidden . length ; ++ i )
168+ if ( unhidden ) for ( let i = 0 ; i < unhidden . length ; ++ i )
169169 if ( unhidden [ i ] . lines . length ) signal ( unhidden [ i ] , "unhide" )
170170
171171 if ( display . wrapper . offsetHeight )
@@ -206,7 +206,7 @@ export function methodOp(f) {
206206}
207207export function docMethodOp ( f ) {
208208 return function ( ) {
209- var cm = this . cm
209+ let cm = this . cm
210210 if ( ! cm || cm . curOp ) return f . apply ( this , arguments )
211211 startOperation ( cm )
212212 try { return f . apply ( this , arguments ) }
0 commit comments