Prefs Editor

Prefs Editor is an editor that works like the plist editor in Xcode, but affects the current preferences of any chosen application. It is effectively a GUI replacement for the "defaults" command.

• Rightmost column is now using all available window space.
• Fixes Tab key behavior for switching between listbox and search field.
• Switches [+] and [-] buttons.