Skip to content

Adapted strategy in GtkMenu to handle any number of enter events

Fixes #1954

Merge request reports