From 8ff581de207f3c07d2e965d0307460db2f688c28 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Thu, 25 Jun 2015 21:53:18 -0400
Subject: Add revert button in edit mode

---
 main.ur | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/main.ur b/main.ur
index 12fbb9d..02ad98b 100644
--- a/main.ur
+++ b/main.ur
@@ -105,6 +105,12 @@ fun wiki requested_article_title =
                             rpc (create_commit article.Title text);
                             rpc (Lock.release article.Title);
                             set page_mode View} />
+              <button
+                 value="Revert"
+                 onclick={fn _ =>
+                            set article_body_source article.Body;
+                            rpc (Lock.release article.Title);
+                            set page_mode View} />
             </div>
           </div>
         </div>
-- 
cgit v1.2.3