On 07/28/2012 12:33 PM, Riff Raff wrote:
Hello, I now use gnome shell for a while an I start liking it. However
there are some issues I would like to have changed (OK, doing it
myself... even if I have the skill(?) I wouldn't have the time - so
thank you all for the great work on gnome anyway!):
Hi Marcus!
For gnome-shell specific discussions, I would recommend GNOME Shell
list: https://mail.gnome.org/archives/gnome-shell-list/
1. When very long menus pop up in an application the top of such a
menu is hidden by the top panel. I actually noticed that when using
eclipse. IMHO a menu should either stay on top, even on top of the
panel, or a menu must not overlap with the panel at all.
This is a known bug, cc yourself to
https://bugzilla.gnome.org/show_bug.cgi?id=633620
- Andreas
--
marketing-list mailing list
marketing-list@gnome.org
https://mail.gnome.org/mailman/listinfo/marketing-list
