en:configuration
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung | ||
en:configuration [2020/01/05 10:17] – [UML-Options] roehner | en:configuration [2023/02/25 19:57] (aktuell) – [Language] roehner | ||
---|---|---|---|
Zeile 106: | Zeile 106: | ||
==== Colors ==== | ==== Colors ==== | ||
- | With this page you configure the colors for syntax-highlighting of Java and HTML files as well as structure lines and pairs of brackets. | + | You can choose a GUI style and combine it with an editor style. Before |
+ | |||
+ | Also you can configure the colors for syntax-highlighting of Java and HTML files as well as structure lines and pairs of brackets. | ||
{{: | {{: | ||
Zeile 112: | Zeile 114: | ||
If you select a syntax element on the left side its current foreground and background color and text attributes are shown. Change them as requested with the left button for the foreground and the right one for the background color. The //Default// button sets the default colors and text attributes. | If you select a syntax element on the left side its current foreground and background color and text attributes are shown. Change them as requested with the left button for the foreground and the right one for the background color. The //Default// button sets the default colors and text attributes. | ||
+ | The GUI and editor styles are located in files in the styles folder of the Java editor. Additional editor styles can be defined in the files DefaultColorsJava.ini and DefaultColorsHTML.ini. | ||
==== Comment ==== | ==== Comment ==== | ||
Every new java source file has an introductory comment. | Every new java source file has an introductory comment. | ||
Zeile 171: | Zeile 174: | ||
The java manual doesn' | The java manual doesn' | ||
- | The original | + | The original |
- | For direct online access to the java documentation | + | As a makeshift, |
+ | Use http addresses like https://docs.oracle.com/en/java/javase/19/ | ||
{{: | {{: | ||
Zeile 186: | Zeile 190: | ||
The //Cache// folder is used if you use direct http access to the java documentation. | The //Cache// folder is used if you use direct http access to the java documentation. | ||
- | //Search again// is used for the search in the original java documentation. | + | //Search again// is used for the search in the original java documentation |
+ | . | ||
===== Printer ===== | ===== Printer ===== | ||
Zeile 199: | Zeile 204: | ||
%DATE% | %DATE% | ||
%TIME% | %TIME% | ||
- | %PAGE% | + | %PAGENUM% |
- | %PAGENUMBER% the total number of print pages | + | %PAGECOUNT% the total number of print pages |
===== Mindstorms ===== | ===== Mindstorms ===== | ||
Zeile 337: | Zeile 342: | ||
**Type binding** | **Type binding** | ||
+ | |||
A generic class has a type parameter which can be displayed separately in the right upper corner. You can add a type binding to this type parameter by double clicking it. | A generic class has a type parameter which can be displayed separately in the right upper corner. You can add a type binding to this type parameter by double clicking it. | ||
+ | |||
+ | {{: | ||
+ | |||
+ | In this example // | ||
+ | |||
| | ||
en/configuration.txt · Zuletzt geändert: 2023/02/25 19:57 von roehner