Speichern / speichern unter eingebaut, Steuerung Name der offenen Datei

ulrich

2017-02-22 5ebb8e0cd3961f0c2fb0c9aaf0f4842be523318d

 web/ui/stile.css

@@ -50,7 +50,11 @@
.west {
  flex-grow: 0;
  flex-shrink: 0;
  flex-basis: 10em;  
  /*
    voruebergehend ausgeblendet, zum einblenden 
    diesen Wert wieder auf 10em setzen
  */
  flex-basis: 0.1em;
}
.ost {
  flex-grow: 0;
@@ -75,8 +79,13 @@
}
.datei-figure {
  width: 6em;
  cursor: pointer;
}

.datei-gewaehlt {
  color: darkslateblue;
}

#ansicht {
  cursor: pointer;
}