From c81913c6f8dce5d59e843db891145ca332b9bab9 Mon Sep 17 00:00:00 2001
From: David Huynh <dfhuynh@gmail.com>
Date: Wed, 24 Feb 2010 19:48:11 +0000
Subject: [PATCH] Make sure process widget doesn't get stuck. Enforce maximum
 height on process widget.

git-svn-id: http://google-refine.googlecode.com/svn/trunk@136 7d457c2a-affb-35e4-300a-418c747d4874
---
 src/main/webapp/scripts/project/process-widget.js | 4 +---
 src/main/webapp/styles/process.css                | 2 ++
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/webapp/scripts/project/process-widget.js b/src/main/webapp/scripts/project/process-widget.js
index 4ad89a8ce..d3e0eb664 100644
--- a/src/main/webapp/scripts/project/process-widget.js
+++ b/src/main/webapp/scripts/project/process-widget.js
@@ -41,7 +41,6 @@ ProcessWidget.prototype._render = function() {
     
     this._div.show();
     
-    var hasPending = false;
     var renderProcess = function(process) {
         var div = $('<div></div>').addClass("process-panel-entry").appendTo(bodyDiv);
         
@@ -49,7 +48,6 @@ ProcessWidget.prototype._render = function() {
             div.text(process.description + " (pending)");
         } else {
             div.text(process.description + " (" + process.progress + "%)");
-            hasPending = true;
         }
     };
     
@@ -58,7 +56,7 @@ ProcessWidget.prototype._render = function() {
         renderProcess(processes[i]);
     }
     
-    if (hasPending && this._timerID == null) {
+    if (processes.length > 0 && this._timerID == null) {
         this._timerID = window.setTimeout(function() {
             self._timerID = null;
             self.update();
diff --git a/src/main/webapp/styles/process.css b/src/main/webapp/styles/process.css
index 3e8952988..eeea3668e 100644
--- a/src/main/webapp/styles/process.css
+++ b/src/main/webapp/styles/process.css
@@ -8,6 +8,8 @@
 .process-panel-inner {
     border: 1px solid #ccc;
     width: 500px;
+    max-height: 70px;
+    overflow: auto;
     padding: 10px;
     background: #fffee0;
     margin: 0 auto;