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