30 …   this.state.current = {changed:false, bottom:null, top:null};                    // Current state  property
32 …this.state.request = {top:null, bottom:null, upper:[], lower:[], full:false};   // Frozen state at…  property
44         this.state.future = {changed:false, bottom:null, top:null};  property
54             this.state.request = { top:null, bottom:null, full:true};     property
80         var bottom = this.state.current.bottom;
81         var lowerMatches = this.getPreviousHeaderMatches (bottom, headerMatches);
84 …      const state = { top:top, bottom:bottom, upper:upperMatches, lower:lowerMatches, full:false };  property
106         const bottom = this.state.request.bottom; 
115         if (bottom !== null)
116             endline = bottom.startline-1;
134             this.state.current = {changed:false, bottom:null, top:null};
150         var bottom = this.state.request.bottom;
151         if (bottom !== null)
152             bottom = bottom.handle;
153         this.updateDOM(top, bottom, html, this.state.request.full);
161         bottom = this.getExistingBoundaryMatch (headerMatches, this.state.request.lower);
164         moaiEditor.matches.update(top, bottom);
204     updateDOM (top, bottom, html, full) {  argument
249             while (element !== undefined  &&  element !== null  &&  element !== bottom) {
322         var bottom = null;
329                 if (bottom === null  ||  match.startline < bottom.startline)
330                     bottom = match;
334             state.bottom = bottom;
341             if (state.bottom !== null)
342                 if (bottom === null  ||  bottom.endline > state.bottom.endline)
343                     state.bottom = bottom;
360         var bottom = editor.scroll.height;
363             top = editor.getLineRect(topline).bottom;
364         const bottomline = state.bottom?.endline;
366             bottom = editor.getLineRect(bottomline).top;
368         overlay.style.height = (bottom-top)+'px' ;