widelands-dev team mailing list archive

[Teppo Mäenpää <tm@xxxxxx>]

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.