de:konfiguration
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
de:konfiguration [2022/12/19 22:30] – [Dokumentation] roehner | de:konfiguration [2024/01/01 19:37] (aktuell) – roehner | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
===== Konfiguration===== | ===== Konfiguration===== | ||
- | Für einige Konfigurationen und das Installieren von Erweiterungen brauchen Sie administrative Rechte. Um sie zu erhalten rufen Sie mit der rechten Maustaste das Kontextmenü des Java-Editor-Symbols auf ihrem Desktop auf und wählen " | + | Für einige Konfigurationen und das Installieren von Erweiterungen brauchen Sie administrative Rechte. Um sie zu erhalten rufen Sie mit der rechten Maustaste das Kontextmenü des Java-Editor-Symbols auf ihrem Desktop auf und wählen " |
Öffnen Sie das Konfigurationsfenster mit dem Befehl // | Öffnen Sie das Konfigurationsfenster mit dem Befehl // | ||
Zeile 215: | Zeile 215: | ||
Kopf- und Fußzeile sind in die drei Bereiche Links, Mitte und Rechts gegliedert, welche linksbündig, | Kopf- und Fußzeile sind in die drei Bereiche Links, Mitte und Rechts gegliedert, welche linksbündig, | ||
- | %Datei% der Dateiname | + | %FILE% |
- | %Pfad% der Dateiname inklusive Verzeichnispfad | + | %PATH% der Dateiname inklusive Verzeichnispfad |
- | %Datum% das Druckdatum | + | %DATE% |
- | %Zeit% die Druckzeit | + | %TIME% die Druckzeit |
- | %Seite% die Nummer der Druckseite | + | %PAGENUM% die Nummer der Druckseite |
- | %Seitenzahl% | + | %PAGECOUNT% die Gesamtzahl der Druckseiten |
===== Mindstorms ===== | ===== Mindstorms ===== |
de/konfiguration.1671485439.txt.gz · Zuletzt geändert: 2022/12/19 22:30 von roehner