A previous hotfix that tried to cope with the deprecation of org.pgpainless.util.selection.userid.SelectUserId in pgpainless-1.7.1 broke the deletion function for PGP keys in the key manager.
Steps to reproduce
Steps to reproduce the behavior:
Deleting a PGP key in Settings-->PGP Settings-->Key Manager doesn't work anymore.
Expected behavior
Tapping the trash bin icon next to a PGP key in the list should remove the key.
Describe the bug
A previous hotfix that tried to cope with the deprecation of
org.pgpainless.util.selection.userid.SelectUserIdinpgpainless-1.7.1broke the deletion function for PGP keys in the key manager.Steps to reproduce
Steps to reproduce the behavior: Deleting a PGP key in Settings-->PGP Settings-->Key Manager doesn't work anymore.
Expected behavior
Tapping the trash bin icon next to a PGP key in the list should remove the key.
Screenshots
No response
Device information
Additional context
No response