s434730/RandomSec
3
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Process widget was causing the UI to get rendered twice at start-up.

Browse Source 
git-svn-id: http://google-refine.googlecode.com/svn/trunk@75 7d457c2a-affb-35e4-300a-418c747d4874
This commit is contained in:
David Huynh 2010-02-09 00:26:57 +00:00
parent b7cf18b86a
commit 402858a784
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/webapp/scripts/project/process-widget.js
View File

@ -1,6 +1,7 @@
function ProcessWidget(div) { function ProcessWidget(div) {
this._div = div; this._div = div;
this._timerID = null; this._timerID = null;
this._processCount = 0;
this.update(); this.update();
} }
@ -28,10 +29,15 @@ ProcessWidget.prototype._render = function() {
if (this._data.processes.length == 0) { if (this._data.processes.length == 0) {
this._div.hide(); this._div.hide();
if (this._processCount > 0) {
this._processCount = 0;
ui.historyWidget.update(); ui.historyWidget.update();
ui.dataTableView.update(true); ui.dataTableView.update(true);
}
return; return;
} }
this._processCount = this._data.processes.length;
this._div.show(); this._div.show();