From 904e8029fea4436290fc79d5fabc782386cee19b Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Fri, 7 Dec 2012 12:55:17 +0000
Subject: Syntax editor: various small improvements...

- separate tree edit buttons from option buttons
- fix bug when wrapping on freshly imported ast
- add interface for import & export of ast
- cleaner internal implementation of Editor.add_refinement
- small style updates
---
 src/www/js/support.js | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/www/js')

diff --git a/src/www/js/support.js b/src/www/js/support.js
index 44c0e3895..9913aa5e3 100644
--- a/src/www/js/support.js
+++ b/src/www/js/support.js
@@ -248,6 +248,13 @@ function insertAfter(el,ref) {
     ref.parentNode.insertBefore(el,ref.nextSibling);
 }
 
+function toggleHidden(el) {
+    if (el.classList.contains("hidden"))
+        el.classList.remove("hidden")
+    else
+        el.classList.add("hidden")
+}
+
 /* --- Debug ---------------------------------------------------------------- */
 
 function debug(s) {
-- 
cgit v1.2.3