js: add Key lookup
authorMaximilian Krambach <maximilian.krambach@intevation.de>
Wed, 4 Jul 2018 10:11:35 +0000 (12:11 +0200)
committerMaximilian Krambach <maximilian.krambach@intevation.de>
Wed, 4 Jul 2018 10:11:35 +0000 (12:11 +0200)
commit1105fc87a3bd3e1152aff578b7b84871558418e6
tree75aeb36d9f5087b997001b484894e2cab7853c4d
parenta52ec87d406379f1a6acd8d4f34605a4bac8683b
js: add Key lookup

--

* src/Keyring.js: getKeys() now has the option "search", which will
  trigger a remote lookup (as configured in gpg) for the string given
  as pattern.
* src/permittedOperations: make use of the new 'locate' option in
  keylist
* DemoExtension: Add a button for lookup, to demonstrate the
  functionality
lang/js/DemoExtension/maindemo.js
lang/js/DemoExtension/mainui.html
lang/js/src/Keyring.js
lang/js/src/permittedOperations.js