From d948baa82de185de8f380395a319231aaa38c973 Mon Sep 17 00:00:00 2001 From: ulrich <undisclosed> Date: Mon, 20 Mar 2017 15:34:49 +0000 Subject: [PATCH] Test-Pfad entfernt --- web/ui/index.html | 18 +++++++++++++++--- 1 files changed, 15 insertions(+), 3 deletions(-) diff --git a/web/ui/index.html b/web/ui/index.html index a1a33ad..5e15fc2 100644 --- a/web/ui/index.html +++ b/web/ui/index.html @@ -10,6 +10,14 @@ <link rel="stylesheet" type="text/css" href="/jslib/font-awesome/css/font-awesome.min.css"> <link rel="stylesheet" type="text/css" href="/jslib/lightbox/lightbox.css"> <link rel="stylesheet" type="text/css" href="stile.css"> + <script id="tpl-ci" type="x-tmpl-mustache"> + {{#issues}} + <p class="compiler-issue"> + {{sourceName}}, line {{lineNumber}}<br> + {{kind}}: {{message}} + </p> + {{/issues}} + </script> <script id="tpl-kacheln" type="x-tmpl-mustache"> {{#files}} <figure class="figure datei-figure text-center text-warning align-top datei-elem"> @@ -111,6 +119,7 @@ <a id="m-test" class="dropdown-item" href="#">Test</a> <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> <div class="dropdown-divider"></div> <a id="logout" class="dropdown-item" href="#">Abmelden</a> </div> @@ -205,11 +214,14 @@ <!-- Modal ok / cancel Ende --> </div> <!-- Fusszeile --> - <!-- <div class="sued"> - Fußzeile + <button id="fusszeile-schliessen" type="button" class="close" aria-label="Close"> + <span aria-hidden="true">×</span> + </button> + <div class="system-out"> + + </div> </div> - --> <!-- Skripte --> <script src="/jslib/jquery/jquery.min.js"></script> <script src="/jslib/codemirror/lib/codemirror.js"></script> -- Gitblit v1.9.3