diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-22 11:33:54 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-22 11:33:54 +0200 |
| commit | ac1ea2004cdb34c83115d11b0c3a0c9c2f93a726 (patch) | |
| tree | eb15320e0d91a3e02aa1bdc8df36a45e476c8194 /index.html | |
| parent | 9043754b69c64419c285a703daf203b87af70506 (diff) | |
Add support for run/stop in the Python interface
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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> |