fix unsynced wml menu items

Previously it would casue OOS to use unsynced wml menu items during
moves or other actions.
This commit is contained in:
gfgtdf 2015-07-12 15:31:51 +02:00
parent 37293b2576
commit c449fcbce2

View file

@ -208,6 +208,7 @@ void wml_menu_item::fire_event(const map_location & event_hex, const game_data &
{
if(!this->is_synced())
{
set_scontext_leave_for_draw leave_synced_context;
if (boost::shared_ptr<manager * const> man = my_manager_.lock()) {
(**man).pump().fire(event_name_, event_hex);
} else {