de:java-editor
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende Überarbeitung | Nächste ÜberarbeitungBeide Seiten der Revision | ||
de:java-editor [2019/07/24 16:32] – [Sequenzdiagramm] roehner | de:java-editor [2019/08/04 10:21] – [Editor-Menü] roehner | ||
---|---|---|---|
Zeile 181: | Zeile 181: | ||
Tastatur (Strg+Umsch+# | Tastatur (Strg+Umsch+# | ||
Editor-Menüs hat ein Taststenkürzel und ein Symbol auf der Symbolleiste. Der Editor basiert | Editor-Menüs hat ein Taststenkürzel und ein Symbol auf der Symbolleiste. Der Editor basiert | ||
- | auf der [[http://synedit.sourceforge.net/| SynEdit Komponente]]. | + | auf der [[https://github.com/SynEdit/SynEdit| SynEdit Komponente]]. |
In der [[Konfiguration# | In der [[Konfiguration# | ||
de/java-editor.txt · Zuletzt geändert: 2023/03/21 20:31 von roehner