diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -165,6 +165,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> |