Difference between revisions of "ClearingP4Preferences"

From Protege Wiki
Jump to: navigation, search
 
(4 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
<br /><span style="font-weight:bold; font-size:20px;">Clearing Protege 4 Preferences</span><br /><br />
 
<br /><span style="font-weight:bold; font-size:20px;">Clearing Protege 4 Preferences</span><br /><br />
  
Protege 4 uses the [http://java.sun.com/j2se/1.4.2/docs/guide/lang/preferences.html Java Preferences API] to store user preferences and activity.  This allows for persistence of preference data across installations of Protege, e.g., recently opened ontologies, rendering preferences, location of Graphviz (used by the OWLViz plug-in), etc.  The storage location of these preferences varies according to operating system:
+
Protege 4 uses the [http://java.sun.com/j2se/1.4.2/docs/guide/lang/preferences.html Java Preferences API] to store user preferences and activity.  This allows for persistence of preference data across installations of Protege 4.x, e.g., recently opened ontologies, rendering preferences, location of Graphviz (used by the OWLViz plug-in), etc.  The storage location of these preferences varies according to operating system:
  
* Linux - stored in a file at ~/.java/.userPrefs
+
* Linux - stored in ~/.java/.userPrefs
* Mac OS X - stored in a file at ~/Library/Preferences/com.apple.java.util.prefs.plist
+
* Mac OS X - stored in ~/Library/Preferences/com.apple.java.util.prefs.plist
 
* Windows - stored in the Windows Registry at HKEY_CURRENT_USER/Software/JavaSoft/Prefs
 
* Windows - stored in the Windows Registry at HKEY_CURRENT_USER/Software/JavaSoft/Prefs
  
Occasionally, users may need to clear the Java Preferences to fix errors displayed by Protege.  Preferences can either be deleted manually, or via a tool called the [http://sourceforge.net/projects/jpui/ Java Preferences User Interface].
+
Occasionally, users may need to clear the Java Preferences to fix errors displayed by Protege.  Preferences can either be deleted manually, or via a tool called the [http://sourceforge.net/projects/jpui/ Java Preferences User Interface].  Read more about both options below.
  
  
<strong>Delete preferences manually</strong><br />
+
<strong>Delete preferences manually</strong><br /><br />
To manually delete Protege 4.x preferences, first determine the location that preferences are stored on your operating system.  Locations are listed above in the introductory paragraph.  For Linux and Mac OS X, delete the Protege preferences file.  For Windows systems, delete the Protege preferences entry from the Windows Registry.
+
To manually delete Protege 4.x preferences, first determine the location that preferences are stored on your operating system.  Locations are listed above in the introductory paragraph.   
  
 +
For Linux and Mac OS X, navigate to the appropriate location and delete the Protege preferences. 
  
<strong>Delete preference using the Java Preferences User Interface</strong><br />
+
For Windows systems, delete the Protege preferences entry from the Windows Registry.  To edit the Windows Registry, click Start | Run... and in the resulting Run dialog type "regedt32" and click OK.  To follow is a screenshot of the Registry Editor with the Protege preferences entry visible:
 +
 
 +
 
 +
[[Image:WindowsRegistryEditor.jpg|none|frame|Microsoft Registry Editor]]
 +
 
 +
 
 +
<strong>Delete preferences using the Java Preferences User Interface</strong><br /><br />
 +
A perhaps nicer option, is to download the [http://sourceforge.net/projects/jpui/ Java Preferences User Interface] tool, which provides a user-friendly interface for updating and/or deleting preferences.  After downloading, type the following on the command line:
  
However, there is a much nicer portable way of interacting with the java preferences directly.  There is a simple but very useful utility calls [http://sourceforge.net/projects/jpui/ 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:
 
 
<pre>
 
<pre>
 
     java -jar jpui-0.4.0.jar
 
     java -jar jpui-0.4.0.jar
 
</pre>
 
</pre>
Here is a screenshot.
 
  
[[File:JavaPreferences-JPUI.png]]
+
To follow is a screenshot of the resulting JPUI application with the Protege preferences entry selected:
 +
 
 +
 
 +
[[Image:JavaPreferences-JPUI.png|none|frame|Java Preferences User Interface]]
 +
 
  
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.
+
To delete the preferences, select PROTEGE_PREFERENCES and choose Node | Delete from the top menu bar.
 +
<br /><br />

Latest revision as of 16:01, January 15, 2010


Clearing Protege 4 Preferences

Protege 4 uses the Java Preferences API to store user preferences and activity. This allows for persistence of preference data across installations of Protege 4.x, e.g., recently opened ontologies, rendering preferences, location of Graphviz (used by the OWLViz plug-in), etc. The storage location of these preferences varies according to operating system:

  • Linux - stored in ~/.java/.userPrefs
  • Mac OS X - stored in ~/Library/Preferences/com.apple.java.util.prefs.plist
  • Windows - stored in the Windows Registry at HKEY_CURRENT_USER/Software/JavaSoft/Prefs

Occasionally, users may need to clear the Java Preferences to fix errors displayed by Protege. Preferences can either be deleted manually, or via a tool called the Java Preferences User Interface. Read more about both options below.


Delete preferences manually

To manually delete Protege 4.x preferences, first determine the location that preferences are stored on your operating system. Locations are listed above in the introductory paragraph.

For Linux and Mac OS X, navigate to the appropriate location and delete the Protege preferences.

For Windows systems, delete the Protege preferences entry from the Windows Registry. To edit the Windows Registry, click Start | Run... and in the resulting Run dialog type "regedt32" and click OK. To follow is a screenshot of the Registry Editor with the Protege preferences entry visible:


Microsoft Registry Editor


Delete preferences using the Java Preferences User Interface

A perhaps nicer option, is to download the Java Preferences User Interface tool, which provides a user-friendly interface for updating and/or deleting preferences. After downloading, type the following on the command line:

    java -jar jpui-0.4.0.jar

To follow is a screenshot of the resulting JPUI application with the Protege preferences entry selected:


Java Preferences User Interface


To delete the preferences, select PROTEGE_PREFERENCES and choose Node | Delete from the top menu bar.