I forgot to say: I don't know how to change the window's icon. This should not be difficult either, just checking in the codebase with 'grep' for the name of the old icon and replacing it (though I have no time right now, could you do that?)
-- Menu & window icon is not standard thus not themed nor scalable https://bugs.launchpad.net/bugs/152634 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
