| | |
| | | <a id="saveFileAs" class="dropdown-item" href="#">Speichern unter..</a> |
| | | <div class="dropdown-divider"></div> |
| | | <a id="renameFile" class="dropdown-item" href="#">Umbenennen..</a> |
| | | <a id="m-unzip" class="dropdown-item" href="#">Entpacken</a> |
| | | <div class="dropdown-divider"></div> |
| | | <a id="closeFile" class="dropdown-item" href="#">Schliessen</a> |
| | | </div> |
| | |
| | | <a id="m-test-2" class="dropdown-item" href="#">Compile</a> |
| | | <a id="m-test-3" class="dropdown-item" href="#">Compile all</a> |
| | | <a id="m-compile-results" class="dropdown-item" href="#">Compile results</a> |
| | | <a id="m-build-app" class="dropdown-item" href="#">Build app</a> |
| | | <div class="dropdown-divider"></div> |
| | | <a id="logout" class="dropdown-item" href="#">Abmelden</a> |
| | | </div> |
| | |
| | | <script src="/jslib/bootstrap/js/bootstrap.min.js"></script> |
| | | <script src="/jslib/mustache/mustache.min.js"></script> |
| | | <script src="/jslib/lightbox/lightbox.min.js"></script> |
| | | <script src="data.js"></script> |
| | | <script src="api.js"></script> |
| | | <script src="ui.js"></script> |
| | | <script type="text/javascript" charset="utf-8"> |
| | | //var ui; |