User Tools

Site Tools


en:configuration

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
en:configuration [2018/12/21 21:11]
roehner [Mindstorms]
en:configuration [2019/03/08 18:07] (current)
roehner [Java]
Line 13: Line 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 ​(C:\Program Files (x86)\JavaEditor\JEMachine.INI oder C:\Program Files\JavaEditor\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 ยท Last modified: 2019/03/08 18:07 by roehner