User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
xmledit-de [2019/06/01 23:59]
rainerk [Find]
xmledit-de [2019/06/02 00:01] (current)
Line 20: Line 20:
 ====Wrap==== ====Wrap====
 Aktiviert den Wortumbruch.\\ Aktiviert den Wortumbruch.\\
-====Point size====+====Schriftgröße====
 Ändert die Editor-Schriftgröße zwischen 7 und 17.\\ Ändert die Editor-Schriftgröße zwischen 7 und 17.\\
 Standard-Schriftgröße ist 11.\\ Standard-Schriftgröße ist 11.\\
xmledit-de.txt · Last modified: 2019/06/02 00:01 by rainerk