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
74         var top = this.state.current.top;
76         var upperMatches = this.getPreviousHeaderMatches (top, headerMatches);
84 …      const state = { top:top, bottom:bottom, upper:upperMatches, lower:lowerMatches, full:false };  property
105         const top = this.state.request.top; 
110         if (top !== null)
111             startline = top.endline;
134             this.state.current = {changed:false, bottom:null, top:null};
147         var top = this.state.request.top;
148         if (top !== null)
149             top = top.handle;
153         this.updateDOM(top, bottom, html, this.state.request.full);
160         top = this.getExistingBoundaryMatch (headerMatches, this.state.request.upper);
164         moaiEditor.matches.update(top, bottom);
204     updateDOM (top, bottom, html, full) {  argument
212         if (top !== null  &&  ['H1','H2','H3','H4','H5'].includes(div.children[0].tagName))
244         if (top === null)
247             element = top.nextSibling;
256             if (top === null)
259 …container.insertBefore (element, top.nextElementSibling);       // Insert a child element after a …
321         var top = null;
326                 if (top === null  ||  match.endline > top.endline)
327                     top = match;
333             state.top = top;
338             if (state.top !== null)
339                 if (top === null  ||  top.endline < state.top.endline)
340                     state.top = top;
359         var top = 0;
361         const topline = state.top?.startline;
363             top = editor.getLineRect(topline).bottom;
366             bottom = editor.getLineRect(bottomline).top;
367         overlay.style.top = top+'px';
368         overlay.style.height = (bottom-top)+'px' ;