From 7ba5351b32df3469a868d40dc2efe2b02e16e76c Mon Sep 17 00:00:00 2001
From: Dan Helfman <dan@luminotes.com>
Date: Tue, 6 May 2008 05:50:49 +0000
Subject: [PATCH] Fixed inability to hide previous note revisions. (This bug
 was introduced by the previous commit.)

---
 static/js/Wiki.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/static/js/Wiki.js b/static/js/Wiki.js
index 2569372..1f547de 100644
--- a/static/js/Wiki.js
+++ b/static/js/Wiki.js
@@ -1093,6 +1093,9 @@ Wiki.prototype.hide_editor = function ( event, editor ) {
           editor.shutdown();
           self.display_empty_message();
         } );
+      } else {
+        editor.shutdown();
+        self.display_empty_message();
       }
     }
   }