Difference between revisions of "ClearingP4Preferences"
| Line 9: | Line 9: | ||
[[File:JavaPreferences-JPUI.png]] | [[File:JavaPreferences-JPUI.png]] | ||
| − | This user interface will allow one to delete | + | This user interface will allow one to modify the Protege java preferences. In particular to delete the Protege Java preferences and return to a clean slate, select PROTEGE_PREFERENCES, click the Node menu and click delete. |
Revision as of 12:53, November 19, 2009
Protege 4 uses java preferences to store user preferences and activity. This can be very nice because when a new version of Protege 4 is installed, it will remember such things as recent ontologies visited, the location of owl viz, rendering preferences and other such stuff. But sometimes, when Protege is misbehaving, this becomes saved state about Protege that persists when everything else is cleared. For some operating systems, one can find the location of the java preferences and adjust them there. For example, on linux machines the java preferences can be found in ~/.java/.userPrefs and on OS X machines the preferences can be found in ~/Library/Preferences/com.apple.java.util.prefs.plist. On windows machines I believe that the java preferences are found in the registry but I could be wrong.
However, there is a much nicer portable way of interacting with the java preferences directly. There is a simple but very useful utility calls Java Preferences User Interface. It allows one to easily clear or update preferences and it is pretty clear where the Protege preferences live. To use it type the following at the command line:
java -jar jpui-0.4.0.jar
Here is a screenshot.
This user interface will allow one to modify the Protege java preferences. In particular to delete the Protege Java preferences and return to a clean slate, select PROTEGE_PREFERENCES, click the Node menu and click delete.
