Benutzer-Werkzeuge

Webseiten-Werkzeuge


de:java-editor

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
Nächste ÜberarbeitungBeide Seiten der Revision
de:java-editor [2019/07/24 16:32] – [Sequenzdiagramm] roehnerde:java-editor [2019/08/04 10:21] – [Editor-Menü] roehner
Zeile 181: Zeile 181:
 Tastatur (Strg+Umsch+#) setzen und zu einem Lesezeichen springen (Strg+#). Jeder Befehl des  Tastatur (Strg+Umsch+#) setzen und zu einem Lesezeichen springen (Strg+#). Jeder Befehl des 
 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#Tastatur|Konfiguration]] kann man sich eine Liste aller Tastenkürzel anzeigen lassen. In der [[Konfiguration#Tastatur|Konfiguration]] kann man sich eine Liste aller Tastenkürzel anzeigen lassen.
  
de/java-editor.txt · Zuletzt geändert: 2023/03/21 20:31 von roehner