widelands-dev team mailing list archive

[Klaus Halfmann <klaus.halfmann@xxxxxxxx>]

reproducing was (to) easy, just clik on the workarea button and right click immideatley after that.

Problem is that ~BuildingWindow() calls hide_workarea(); calling configure_workarea_button()
whhich tries to change the tooltip of the already deleted button.

I can provide a quick fix which would duplicate some code, though?
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition/+merge/349594
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1619402-port-work-area-on-expedition.