From 31117e3b786e4d24a7dc43163362ab4a4d3050fd Mon Sep 17 00:00:00 2001
From: Jules Laplace <julescarbon@gmail.com>
Date: Wed, 10 Oct 2018 14:58:24 +0200
Subject: exporting all midi notes... add pedal tone option

---
 index.html | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 8ea82b8..5aa9922 100644
--- a/index.html
+++ b/index.html
@@ -9,14 +9,16 @@
 <div class='tools'>
 	<div>
 		<h2>Sonification of gun violence</h2>
+		<div class='row'>
+			<div id='cases'></div>
+		</div>
 		<div class='buttons'>
+			<button id="play">Play</button>
+			<button id="pause">Pause</button>
 			<button id="export_midi">Export dataset as MIDI</button>
 			<button id="record_midi">Record MIDI</button>
 			<span id='recording_msg'>Recording</span>
 		</div>
-		<div class='row'>
-			<div id='cases'></div>
-		</div>
 		<label>
 			<span>scale</span>
 			<select id="scale"></select>
@@ -60,6 +62,11 @@
 				<span class='val'></span>
 				<span>Interval</span>
 			</div>
+			<div class='block'>
+				<div id="pedal_tone"></div>
+				<span class='val'></span>
+				<span>Pedal tone</span>
+			</div>
 		</div>
 	</div>
 </div>
-- 
cgit v1.2.3-70-g09d2