tree 0bd92d9917494dcae8471e387281e68c817388a0
parent 76ea8136ff5e21c30136201cfedba23b0b7180bd
author Leo Repp <Leo-Aus-Berlin@korap.ids-mannheim.de> 1638362113 +0100
committer Akron <nils@diewald-online.de> 1641216299 +0100

Fix an error where setting a prefix so that no menu items are active
anymore would not properly set the prefix to be active as a default
active item.

Change-Id: I0ddbfbaff925d71228f797d8064cef32ace4c66d