0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Editor: second attempt to fix crash when closing map (bug #25680)

Browse source
This commit is contained in:
Charles Dang 2017-04-29 16:34:45 +11:00
parent 9742a15046
commit bac460baef
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/editor/map/context_manager.cpp
View file

@ -92,7 +92,13 @@ public:
context_manager_.reload_map();
current_labels->enable(false);
// In the case of switching contexts, this is needed to hide the labels in the previous context.
// However, if a context is already, destroyed before reaching this point (such as happens when
// closing a map), do nothing; destroying the context also clears its labels.
if(current_labels) {
current_labels->enable(false);
}
current_labels = &context_manager_.get_map_context().get_labels();
current_labels->enable(true);