User Tools
xmledit-de
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
xmledit-de [2019/06/01 23:59] rainerk [Find] |
xmledit-de [2019/06/02 00:01] (current) rainerk |
||
|---|---|---|---|
| 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
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
