The zippy now works.

diff --git a/web_frontend/file.js b/web_frontend/file.js
index 8c0ee5c28380a3bdab31f2fe1eb7203ba4b4af05..6e0288ddf73150cd25d4497a1a8d7d91c53bc409 100644 (file)
--- a/web_frontend/file.js
+++ b/web_frontend/file.js
@@ -182,10 +182,11 @@ armadillo.File.prototype.actorHandler_ = function(e) {
   e.stopPropagation();
   if (!this.actor_.isInDocument())
     this.actor_.render(this.element_);
-  if (!this.zippy_)
+  if (!this.zippy_) {
     this.zippy_ = new goog.ui.AnimatedZippy(this.title_,
         this.actor_.getElement(), false);
-  this.zippy_.toggle();
+    this.zippy_.toggle();
+  }
 };
 
 /**