oh, GNOME's UI guidelines actively discourage menu bars (the traditional ones, with dropdown menus, File, Edit, etc, like every GUI application has had since 1984)?
that explains a lot.
Izzy's Old Account
@izaya@social.shadowkat.net
