This problem vanished some time in the past. I'm sorry that I did not report this, nor did I observe what caused it to disappear.
This problem report may be closed. -- gnome-panel hides sides of application window https://bugs.launchpad.net/bugs/581080 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-panel in ubuntu. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
