Reverted 4f76f8f558ad22e030c57538457067f9d006e731 (GUI: wrong multiselection behaviour)