1 entries tagged ‘editor’ were posted to The Empty Set Ø since Feb 2000.
Defaults Manager enables you to view and edit the preferences of almost any application that are stored in your User Defaults database.
Just that you know: not all entries were successfully recovered. It appears that I have lost some 300 posts in the update/migration process. Sorry about that.