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
en:configuration [2020/01/05 10:13] – [UML-Options] roehneren: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 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.
Zeile 171: Zeile 174:
 The java manual doesn't belong to the JDK, so you have to install it additionally. The installed java manual gives you easy access to the api documentation. Type the F1 key to get documentation to the text the cursor is on. The documentation is also needed for code completion and parameter hints. The java manual doesn't belong to the JDK, so you have to install it additionally. The installed java manual gives you easy access to the api documentation. Type the F1 key to get documentation to the text the cursor is on. The documentation is also needed for code completion and parameter hints.
  
-The original http://www.oracle.com/technetwork/java/javase/downloads/ java documentation from Sun] contains more than 300 MB in about 13000 files. You can get the documentation in just one chm file of just 50 MB from https://javadoc.allimant.org/. Select //chm// from the manual combobox, than you can download and install this chm file with the //Install// button. Using the chm documentation is especially recommended if you use the Java-Editor as portable software from an usb stick. Check wether it is possible to open the chm-file with doubleclick from windows desktop. If necessary you have to allow to open the chm-file.+The original [[https://www.oracle.com/java/technologies/javase-jdk19-doc-downloads.html |JDK 19 documentation from Oracle]] contains more than 250 MB in about 10000 files. You can get the documentation in just one chm file of just 50 MB from https://javadoc.allimant.org/, but only up to version 8. Select //chm// from the manual combobox, than you can download and install this chm file with the //Install// button. Using the chm documentation is especially recommended if you use the Java-Editor as portable software from an usb stick. Check wether it is possible to open the chm-file with doubleclick from windows desktop. If necessary you have to allow to open the chm-file.
  
-For direct online access to the java documentation you can use http addresses like http://download.oracle.com/javase/7/docs/api/index.html. In this case the used documentation files are cached, that means locally saved.+As a makeshift, direct online access to the API documentation can be configured without any installation. 
 +Use http addresses like https://docs.oracle.com/en/java/javase/19/docs/api/index.html. In this case the used documentation files are cached, that means locally saved.
  
 {{:en:documentationen.png}} {{:en:documentationen.png}}
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%   the print date   %DATE%   the print date
   %TIME%   the print time   %TIME%   the print time
-  %PAGE  the number of the print page +  %PAGENUM    the number of the print page 
-  %PAGENUMBER%   the total number of print pages+  %PAGECOUNT%   the total number of print pages
  
 ===== Mindstorms ===== ===== Mindstorms =====
Zeile 336: Zeile 341:
   *show function values in interpreter window - or in a separate function value window   *show function values in interpreter window - or in a separate function value window
  
 +**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.
 +
 +{{:en:typebinding.png}}
 +
 +In this example //ContentType// is the type parameter and //Athlet// the type binding.
 +
 +  
  
 ===== Visibility ===== ===== Visibility =====
en/configuration.1578215628.txt.gz · Zuletzt geändert: 2020/01/05 10:13 von roehner