start
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungNächste ÜberarbeitungBeide Seiten der Revision | ||
start [2014/04/26 13:25] – [Accessibility] roehner | start [2018/05/18 22:48] – [Tools menu] roehner | ||
---|---|---|---|
Zeile 62: | Zeile 62: | ||
{{: | {{: | ||
- | With drag& | + | With drag& |
===== Menu System ===== | ===== Menu System ===== | ||
Zeile 103: | Zeile 103: | ||
given coding standard and the //Jalopy// plug-in which formats a source file according to a coding | given coding standard and the //Jalopy// plug-in which formats a source file according to a coding | ||
standard. The compare tool compares two sources files, shows new, modified and deleted lines and | standard. The compare tool compares two sources files, shows new, modified and deleted lines and | ||
- | allows to edit the modifications. If you install the [[en: | + | allows to edit the modifications. If you install |
{{: | {{: | ||
Zeile 135: | Zeile 135: | ||
Your are free to send bug reports and feature requests by e-mail to < | Your are free to send bug reports and feature requests by e-mail to < | ||
+ | |||
+ | < | ||
+ | |||
start.txt · Zuletzt geändert: 2023/03/21 20:28 von roehner