Forgot to say: adding window = nullptr after the destroy() call doesn't help, it still crashes.
Since we should slowly go over all our remaining delete calls anyway, I'd say let's get this in to get rid of the crash ASAP. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1644553-buildhelp-button/+merge/312429 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1644553-buildhelp-button into lp:widelands. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : widelands-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
