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 Desktop Bugs, which is subscribed to gedit in ubuntu. https://bugs.launchpad.net/bugs/688995 Title: gedit remains open when last tab closed -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
