en:configuration
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungLetzte ÜberarbeitungBeide Seiten der Revision | ||
en:configuration [2022/12/02 15:13] – external edit 127.0.0.1 | en:configuration [2023/02/25 19:55] – [Language] roehner | ||
---|---|---|---|
Zeile 177: | Zeile 177: | ||
As a makeshift, direct online access to the API documentation can be configured without any installation. | As a makeshift, direct online access to the API documentation can be configured without any installation. | ||
- | Use http addresses like https:// | + | Use http addresses like https:// |
{{: | {{: | ||
Zeile 190: | 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 203: | 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 259: | Zeile 260: | ||
To update a language file use the compare tool from the tools menu and compare the old with the new language file. | To update a language file use the compare tool from the tools menu and compare the old with the new language file. | ||
- | {{:en:languageen.png}} | + | {{: |
===== Options ===== | ===== Options ===== |
en/configuration.txt · Zuletzt geändert: 2023/02/25 19:57 von roehner