Benutzer-Werkzeuge

Webseiten-Werkzeuge


en:configuration

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen RevisionVorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
Nächste ÜberarbeitungBeide Seiten der Revision
en:configuration [2020/01/05 10:24] – [UML-Options] roehneren:configuration [2020/07/26 16:29] – [Colors] 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 you select styles, you should open a Java source file, because you can then see the styles live when you switch. 
 + 
 +Also you can configure the colors for syntax-highlighting of Java and HTML files as well as structure lines and pairs of brackets.
  
 {{:en:colorsen.png}} {{:en:colorsen.png}}
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.
en/configuration.txt · Zuletzt geändert: 2023/02/25 19:57 von roehner