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 
(cherry picked from commit 6158b80c94)
This commit is contained in:
Iris Morelle 2018-05-20 22:50:45 -04:00 • committed by josteph
parent 8033e252d4
commit c0fd17628e
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

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