Does the window manager know if closing the window will cause the app to quit, or just close that window?
If so, we could consider styling the close button differently, for those two scenarios. Mark
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Mailing list: https://launchpad.net/~ayatana Post to : ayatana@lists.launchpad.net Unsubscribe : https://launchpad.net/~ayatana More help : https://help.launchpad.net/ListHelp
