48         if (this.scroll.type == 'click') {
54         else if (this.scroll.type == 'toc') {
60         moaiEditor.editor.current.flash(flashleft, this.scroll);
61         moaiEditor.preview.flash(flashright, this.scroll);
65         this.sync.lastScroll = Math.round(moaiEditor.editor.current.scroll.top);
66         moaiEditor.scroll.sync.disabled = false;
74         this.scroll = {type:'top'};  property
86         this.scroll = {type:'bottom'};  property
88         this.left.getTargetScroll = function() {return this.object.scroll.max;};
89         this.right.getTargetScroll = function() {return this.object.scroll.max;};
106 …     this.scroll = {type:'toc', startline:match.startline, endline:match.endline, element:element};  property
118         return moaiEditor.scroll.tools.getRectRelativeToParent(this.element).top;
138 …   this.scroll = {type:'click', startline:match.startline, endline:match.endline, element:element};  property
155         return editor.scroll.top + correction;
165         element.addEventListener('click', function(){ moaiEditor.scroll.onClick(this); });
214         const scrollTop = editor.scroll.top;
234         this.scroll = {type:'paste'};  property