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

Fix [change_theme] not updating themed map borders correctly in some cases

Browse source
This commit is contained in:
Iris Morelle 2018-05-20 22:50:45 -04:00
parent 711e9a287d
commit 6158b80c94
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/display.cpp
View file

@ -282,6 +282,7 @@ void display::set_theme(config theme_cfg) {
action_buttons_.clear();
create_buttons();
invalidate_theme();
rebuild_all();
redraw_everything();
}