DefaultsEditor 1.0

DefaultsEditor can be used to easily edit defaults from the defaults database.  The current version assumes that a default property has only one value.  Hence some of the properties (like Dock path of Workspace) will not be displayed.  For comments/bugs use the suggestion menu in the Info submenu of DefaultsEditor to mail me or use the e-mail address below.

K.R. Raghavan
raghavan@eecs.umich.edu