diff --git a/comparator.html b/comparator.html
index 68f8a81..fee8fcd 100755
--- a/comparator.html
+++ b/comparator.html
@@ -6,7 +6,6 @@
href="https://fonts.googleapis.com/css?family=Open+Sans:600"
rel="stylesheet"
/>
-
-
-
+
+
+
+
diff --git a/index.html b/index.html
index 3f0a64b..9df58c2 100755
--- a/index.html
+++ b/index.html
@@ -7,40 +7,98 @@
rel="stylesheet"
/>
+
+
-
-
+
+
+
-
Current operation:
-
+
-
+
Choose a tree:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Current operation
+
+
+
+
+
+
+
@@ -56,4 +114,10 @@
+
+
diff --git a/visualization.js b/visualization.js
index c46e4f7..0f05506 100644
--- a/visualization.js
+++ b/visualization.js
@@ -33,6 +33,13 @@ function deleteCallback() {
return false;
}
+function switchTree(TreeType) {
+ tree = new TreeType();
+ tree.recorder = recorder;
+ recorder.clear();
+ tree.record("");
+}
+
function render() {
recorder.render();
setTimeout(render);