there is no Debian or Ubuntu patch supposed to change that, are you sure it behaves differently on other distributions? can't you use the gtkrc to customize it?
-- /usr/share/gnome/gnome-panelrc fails to impact theme https://bugs.launchpad.net/bugs/112665 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
