en:configuration
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen RevisionVorhergehende Überarbeitung | Nächste ÜberarbeitungBeide Seiten der Revision | ||
| en:configuration [2018/12/21 21:11] – [Mindstorms] roehner | en:configuration [2019/03/08 18:07] – [Java] roehner | ||
|---|---|---|---|
| Zeile 13: | Zeile 13: | ||
| ===== Java ===== | ===== Java ===== | ||
| - | The configuration settings in the Java section are protected. They can only be changed with administrative rights. If you installed the Java-Editor with use of the windows registry the settings are stored in the HKEY_LOCAL_MACHINE (HKLM) hive, else in the ini file JEMachine.INI. | + | The configuration settings in the Java section are protected. They can only be changed with administrative rights. If you installed the Java-Editor with use of the windows registry the settings are stored in the HKEY_LOCAL_MACHINE (HKLM) hive, else in the ini file JEMachine.INI |
| The other configuration settings are stored for each user separately, in the HKEY_CURRENT_USER (HKCU) hive or the ini file JEUser.ini. | The other configuration settings are stored for each user separately, in the HKEY_CURRENT_USER (HKCU) hive or the ini file JEUser.ini. | ||
en/configuration.txt · Zuletzt geändert: 2023/02/25 19:57 von roehner