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

Proposed by cghislai
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 Approve
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.
Revision history for this message
SirVer (sirver) wrote :

lgtm. Merged.

review: Approve
Revision history for this message
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
=== modified file 'src/wui/game_main_menu_save_game.cc'
--- src/wui/game_main_menu_save_game.cc 2013-07-21 09:05:50 +0000
+++ src/wui/game_main_menu_save_game.cc 2013-07-23 15:33:28 +0000
@@ -127,7 +127,11 @@
127 select_by_name(cur_filename);127 select_by_name(cur_filename);
128 } else {128 } else {
129 // Display current game infos129 // Display current game infos
130 m_mapname.set_text(parent.game().get_map()->get_name());130 {
131 //Try to translate the map name.
132 i18n::Textdomain td("maps");
133 m_mapname.set_text(_(parent.game().get_map()->get_name()));
134 }
131 uint32_t gametime = parent.game().get_gametime();135 uint32_t gametime = parent.game().get_gametime();
132 m_gametime.set_text(gametimestring(gametime));136 m_gametime.set_text(gametimestring(gametime));
133137

Subscribers

People subscribed via source and target branches

to status/vote changes: