Is hide_on_close okay or should I pick a more intuitive name for this property? -- https://code.launchpad.net/~victored/granite/decorated-window-hide-on-close/+merge/106543 Your team elementaryart (old) is subscribed to branch lp:granite.
-- Mailing list: https://launchpad.net/~elementaryart Post to : [email protected] Unsubscribe : https://launchpad.net/~elementaryart More help : https://help.launchpad.net/ListHelp
