GPGTools/GPGPreferences — pull request #2 by idodeclare (2012-02-28 19:04:55+00:00)
Title: Changing keyserver also adjusts auto-key-locate; add button to clear default-key

Hello. 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.

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