de:konfiguration
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
de:konfiguration [2020/01/05 10:27] – [UML-Optionen] 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 113: | Zeile 113: | ||
==== Farben ==== | ==== Farben ==== | ||
- | Die Farben für die Syntaxhervorhebung von Java- und HTML-Dokumenten sowie für die Klammerstrukturlinie und Klammernpaare | + | Sie können einen GUI-Stil auswählen und mit einem Editorstil kombinieren. Bevor Sie Stile auswählen, sollten Sie eine Java-Quelldatei öffnen, damit Sie die Stile beim Wechseln live sehen können. |
+ | |||
+ | Außerdem können Sie Farben für die Syntaxhervorhebung von Java- und HTML-Dokumenten sowie für die Klammerstrukturlinie und Klammernpaare | ||
{{: | {{: | ||
Wählt man links ein Syntax-Element aus, so werden dessen Vorder- und Hintergrundfarben und Textattribute angezeigt. Anschließend stellen Sie für dieses Element mit der linken Maustaste die gewünschte Vordergrundfarbe und der rechten Maustaste die Hintergrundfarbe ein. Der Schalter // | Wählt man links ein Syntax-Element aus, so werden dessen Vorder- und Hintergrundfarben und Textattribute angezeigt. Anschließend stellen Sie für dieses Element mit der linken Maustaste die gewünschte Vordergrundfarbe und der rechten Maustaste die Hintergrundfarbe ein. Der Schalter // | ||
+ | |||
+ | Die GUI- und Editorstile befinden sich in Dateien im styles-Ordner des Java-Editors. In den Dateien DefaultColorsJava.ini und DefaultColorsHTML.ini können weitere Editorstile definiert werden. | ||
==== Kommentar ==== | ==== Kommentar ==== | ||
Zeile 182: | Zeile 186: | ||
===== Dokumentation ===== | ===== Dokumentation ===== | ||
- | Die Java-Dokumentation gehört nicht zum JDK und muss daher zusätzlich installiert werden. | + | Die Java-Dokumentation gehört nicht zum JDK und muss daher zusätzlich installiert werden. |
+ | |||
+ | Die originale [[https:// | ||
- | Die originale [[http:// | + | Man kann unter https:// |
- | Befehlsweise | + | Behelfsweise |
- | Benutzen Sie dazu http-Adressen wie http://download.oracle.com/ | + | Benutzen Sie dazu http-Adressen wie https://docs.oracle.com/en/java/javase/19/ |
{{: | {{: | ||
Zeile 198: | Zeile 204: | ||
Zusätzlich ist die Installation des [[http:// | Zusätzlich ist die Installation des [[http:// | ||
- | Der // | + | Der // |
+ | zt. | ||
Zeile 208: | 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.1578216447.txt.gz · Zuletzt geändert: 2020/01/05 10:27 von roehner