Piedro, in the bug description I specifically said that "Adding any options would not fix this bug, which is about menus being hidden *by default*". So no, this is not about adding options. (Which is why, incidentally, the purported "Desired change" is irrelevant to this bug.) The problem with Leonardo's comment isn't that he likes menus the way they are. The problem is that he made three empirical claims, none of them with any evidence, and all of them probably false; and that he suggested that people switch to another "DE", which is gratuitously unhelpful, because most Ubuntu users don't and needn't know what a "DE" is.
Editing bug comments is bug 80895. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/732653 Title: Menus are hidden by default To manage notifications about this bug go to: https://bugs.launchpad.net/ayatana-design/+bug/732653/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
