mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-30 01:47:13 +00:00
Editor: fixed starting position labels not vanishing immediately when deleted (fixes #1970)
This commit is contained in:
parent
438e021a27
commit
cd937c745c
@ -981,6 +981,9 @@ bool editor_controller::execute_command(const hotkey::hotkey_command& cmd, int i
|
|||||||
location_palette* lp = dynamic_cast<location_palette*>(&toolkit_->get_palette_manager()->active_palette());
|
location_palette* lp = dynamic_cast<location_palette*>(&toolkit_->get_palette_manager()->active_palette());
|
||||||
if (lp) {
|
if (lp) {
|
||||||
perform_delete(new editor_action_starting_position(map_location(), lp->selected_item()));
|
perform_delete(new editor_action_starting_position(map_location(), lp->selected_item()));
|
||||||
|
// No idea if this is the right thing to call, but it ensures starting
|
||||||
|
// position labels get removed on delete.
|
||||||
|
context_manager_->refresh_after_action();
|
||||||
}
|
}
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user