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

fix bug #10632 Previous "Tip of the Day" after language change

Browse source 
(but the bug was a bit more serious, all the tips was not cleanly
refreshed)

Also clean the behavior of the cancel button for the language choice
dialog PS: I notice an abuse of size_t(-1) for many cancel operations,
seems not nice.
This commit is contained in:
Ali El Gariani 2008-01-01 19:25:32 +00:00
parent b67011171c
commit 4e5b76ccaf
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/game.cpp
View file

@ -1553,12 +1553,14 @@ bool game_controller::change_language()
}
refresh_game_cfg(true);
} else {
return false;
}
font::load_font_config();
hotkey::load_descriptions();
return false;
return true;
}
void game_controller::show_preferences()