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 ÜberarbeitungBeide Seiten der Revision
en:configuration [2020/07/26 16:23] – [Colors] roehneren:configuration [2020/07/26 16:29] – [Colors] roehner
Zeile 114: 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