Searched refs:fileReloaded (Results 1 – 4 of 4) sorted by relevance
| /plugin/diagramsnet/lib/js/diagramly/ |
| D | DrawioFile.js | 31 fileReloaded: 0, /* number of calls to mergeFile */ property
617 this.stats.fileReloaded++;
|
| /plugin/diagramsnet/lib/js/ |
| D | viewer.min.js | 3015 …eated=(new Date).getTime();this.stats={opened:0,merged:0,fileMerged:0,fileReloaded:0,conflicts:0,t… property
3032 …{this.ui.spinner.stop();var e=mxUtils.bind(this,function(){this.stats.fileReloaded++;var c=this.ui…
|
| D | app.min.js | 9975 …eated=(new Date).getTime();this.stats={opened:0,merged:0,fileMerged:0,fileReloaded:0,conflicts:0,t… property
9992 …{this.ui.spinner.stop();var d=mxUtils.bind(this,function(){this.stats.fileReloaded++;var c=this.ui…
|
| D | viewer-static.min.js | 3015 …eated=(new Date).getTime();this.stats={opened:0,merged:0,fileMerged:0,fileReloaded:0,conflicts:0,t… property
3032 …{this.ui.spinner.stop();var e=mxUtils.bind(this,function(){this.stats.fileReloaded++;var c=this.ui…
|