Merge lp:~widelands-dev/widelands/bug1203337 into lp:widelands

Proposed by cghislai on 2013-07-23
Status: Merged
Merged at revision: 6657
Proposed branch: lp:~widelands-dev/widelands/bug1203337
Merge into: lp:widelands
Diff against target: 15 lines (+5/-1)
1 file modified
src/wui/game_main_menu_save_game.cc (+5/-1)
To merge this branch: bzr merge lp:~widelands-dev/widelands/bug1203337
Reviewer Review Type Date Requested Status
SirVer 2013-07-23 Approve on 2013-07-23
Review via email: mp+176409@code.launchpad.net

Description of the change

Translate the current game map name as well

To post a comment you must log in.
SirVer (sirver) wrote :

lgtm. Merged.

review: Approve
SirVer (sirver) wrote :

I wish launchpad would merge after so and so many lgtm....

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/wui/game_main_menu_save_game.cc'
2--- src/wui/game_main_menu_save_game.cc 2013-07-21 09:05:50 +0000
3+++ src/wui/game_main_menu_save_game.cc 2013-07-23 15:33:28 +0000
4@@ -127,7 +127,11 @@
5 select_by_name(cur_filename);
6 } else {
7 // Display current game infos
8- m_mapname.set_text(parent.game().get_map()->get_name());
9+ {
10+ //Try to translate the map name.
11+ i18n::Textdomain td("maps");
12+ m_mapname.set_text(_(parent.game().get_map()->get_name()));
13+ }
14 uint32_t gametime = parent.game().get_gametime();
15 m_gametime.set_text(gametimestring(gametime));
16