From 9587ad1acf3b9946504425b4ddc07e4f48d1e442 Mon Sep 17 00:00:00 2001
From: ulrich
Date: Thu, 07 Jan 2021 11:59:56 +0000
Subject: [PATCH] Kommentar ergaenzt
---
web/ui/index.html | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/web/ui/index.html b/web/ui/index.html
index 83921f0..0b4909c 100644
--- a/web/ui/index.html
+++ b/web/ui/index.html
@@ -84,6 +84,8 @@
<li class="nav-item dropdown">
<a class="nav-link dropdown-toggle" data-toggle="dropdown" href="#" role="button" aria-haspopup="true" aria-expanded="false">Datei</a>
<div class="dropdown-menu">
+ <a id="newTab" class="dropdown-item" href="#">Neuer Reiter</a>
+ <div class="dropdown-divider"></div>
<a id="newTextFile" class="dropdown-item" href="#">Neuer Text..</a>
<a id="newDoc" class="dropdown-item" href="#">Neues Dokument..</a>
<a id="newFolder" class="dropdown-item" href="#">Neuer Ordner..</a>
@@ -136,6 +138,7 @@
<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>
+ <a id="m-ant-build" class="dropdown-item" href="#">Ant build</a>
<div class="dropdown-divider"></div>
<a id="profil" class="dropdown-item" href="/um/profil">Profil</a>
<a id="logout" class="dropdown-item" href="#">Abmelden</a>
--
Gitblit v1.9.3