From 93cb1d42413d2ab98435760dd04cffce928fd355 Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Mon, 16 May 2022 15:58:46 +0200 Subject: [PATCH] feat: switch to bootstrap * switch to bootstrap * allow selecting one of the trees to be run Fixes #1 Fixes #4 Signed-off-by: Matej Focko --- comparator.html | 45 ++++++++++--------- index.html | 114 ++++++++++++++++++++++++++++++++++++----------- visualization.js | 7 +++ 3 files changed, 119 insertions(+), 47 deletions(-) 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:

+
+ + + + + + + + +
+
+ +
+
+ +
+
+ +
+
@@ -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);