From ac1ea2004cdb34c83115d11b0c3a0c9c2f93a726 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@araneo.org>
Date: Tue, 22 Sep 2015 11:33:54 +0200
Subject: Add support for run/stop in the Python interface

---
 index.html | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'index.html')

diff --git a/index.html b/index.html
index 99f6330..521bd91 100644
--- a/index.html
+++ b/index.html
@@ -158,6 +158,8 @@
                             <button type="button" class="btn btn-default navbar-btn btn-plan">Plan</button>
                             <button type="button" class="btn btn-default navbar-btn btn-hint">Hint</button>
                             <button type="button" class="btn btn-default navbar-btn btn-test">Test</button>
+                            <button type="button" class="btn btn-default navbar-btn btn-run">Run</button>
+                            <button type="button" class="btn btn-default navbar-btn btn-stop">Stop</button>
                         </div>
                     </nav>
                     <div class="code_editor"></div>
-- 
cgit v1.2.1