Presumably the thing to do in this instance is to focus on getting a definited GNOME HIG behaviour documenting and then fixing all MDI- applications of complying with that rule.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/688995 Title: gedit remains open when last tab closed -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
