I browsed through bugzilla and the most similar bug I found is https://bugzilla.mozilla.org/show_bug.cgi?id=231336
It's not exactly the same, though; the OP complains that there is no way to close menus, while I reported that menus don't close as GTK+ menus should - and that the theme is not exactly followed.
I browsed through bugzilla and the most similar bug I found is https:/ /bugzilla. mozilla. org/show_ bug.cgi? id=231336
It's not exactly the same, though; the OP complains that there is no way to close menus, while I reported that menus don't close as GTK+ menus should - and that the theme is not exactly followed.