Clarifying myself further: I would change soldierselect_radiobutton/6667 like below. This is a bit ugly, but I somehow just lost the attach-file button..:
=== modified file 'src/wui/buildingwindow.cc' --- old/src/wui/buildingwindow.cc 2013-07-24 20:52:13 +0000 +++ new/src/wui/buildingwindow.cc 2013-07-27 08:48:17 +0000 @@ -196,7 +196,8 @@ } } else - if (upcast(const Widelands::ProductionSite, productionsite, &m_building)) { + if (upcast(const Widelands::ProductionSite, productionsite, &m_building)) + if (not dynamic_cast<const Widelands::MilitarySite *>(productionsite)) { const bool is_stopped = productionsite->is_stopped(); UI::Button * stopbtn = new UI::Button -- https://code.launchpad.net/~widelands-dev/widelands/soldierselect_radiobutton/+merge/176784 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/soldierselect_radiobutton. _______________________________________________ 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