wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 11:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rename property "timeout" to "timeoutId" - more descriptive.

Browse source 
Change-Id: I198d07e3c59ba1283085135f45882ce606bb2389
This commit is contained in:
Inez Korczyński 2012-10-19 17:11:59 -07:00
parent 969c256e34
commit 88c22b3a46
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
modules/ve/ce/ve.ce.SurfaceObserver.js
View file

@ -22,8 +22,8 @@ ve.ce.SurfaceObserver = function VeCeSurfaceObserver( documentView ) {
// Properties
this.documentView = documentView;
this.polling = false;
this.timeout = null;
this.frequency = 250;
this.timeoutId = null;
this.frequency = 250; //ms
this.clear();
};
@ -74,8 +74,8 @@ ve.ce.SurfaceObserver.prototype.stop = function( poll ) {
this.poll();
}
this.polling = false;
clearTimeout( this.timeout );
this.timeout = null;
clearTimeout( this.timeoutId );
this.timeoutId = null;
}
};
@ -88,13 +88,13 @@ ve.ce.SurfaceObserver.prototype.stop = function( poll ) {
ve.ce.SurfaceObserver.prototype.poll = function( async ) {
var delayPoll, rangySelection, range, node, nodes, text, hash;
if ( this.timeout !== null ) {
clearTimeout( this.timeout );
this.timeout = null;
if ( this.timeoutId !== null ) {
clearTimeout( this.timeoutId );
this.timeoutId = null;
}
delayPoll = ve.bind( function (async ) {
this.timeout = setTimeout(
this.timeoutId = setTimeout(
ve.bind( this.poll, this ),
async === true ? 0 : this.frequency
);