GPGTools/GPGPreferences — pull request #3 by idodeclare (2012-02-28 19:19:39+00:00)
Title: Keyserver, auto-key-locate, and default-key

Hello. This is a corrected version of my previous contribution.

This change is to allow GPGPreferences to handle the second part of the ticket below,
as well to add the ability to clear a default-key.

Thanks,
Chris

http://gpgtools.lighthouseapp.com/projects/65684-gpg-keychain-access/tickets/129

- changing keyserver also ensures that "keyserver" is in auto-key-locate
- GPGToolsPrefController.setIndexOfSelectedSecretKey can clear default-key
- add a small, hideable button to allow clearing default-key