Dateiverwaltung für die WebBox
ulrich
2017-03-20 a450f233393a9e3297fea633373635d060a3c709
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&szlig;zeile
      <button id="fusszeile-schliessen" type="button" class="close" aria-label="Close">
        <span aria-hidden="true">&times;</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>