Syntax-Check fuer Java, Gutter Marker fuer Fehler, Tooltips fuer Fehlermeld...

ulrich

2017-03-14 e3043fddcaf5e3ea4beb022c04d411661a3499bd

 web/ui/stile.css

@@ -37,6 +37,16 @@
  height: 100%;
}

/* Stile MCE-Editor */

.mce-editor {
  width: 100%;
  height: 100%;  
}
.text-editor {
  width: 100%;
  height: 100%;
}

/* Stile Listenansicht */