Fixes #2436; PolytomousKeyListView now allows deletion of multiple elements