widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #04286
Re: [Merge] lp:~widelands-dev/widelands/bug-1480937 into lp:widelands
Review: Approve
One nit.
Diff comments:
>
> === modified file 'src/editor/ui_menus/editor_player_menu.cc'
> --- src/editor/ui_menus/editor_player_menu.cc 2015-07-29 07:26:48 +0000
> +++ src/editor/ui_menus/editor_player_menu.cc 2015-08-06 17:33:02 +0000
> @@ -295,7 +295,7 @@
> // // ("Cannot remove player. It is referenced in some place. Remove all"
kill commented out code?
> // // " buildings and bobs that depend on this player and try again."),
> // // UI::WLMessageBox::OK);
> -// // mmb.run();
> +// // mmb.run<UI::Panel::Returncodes>();
> // }
> // }
>
--
https://code.launchpad.net/~widelands-dev/widelands/bug-1480937/+merge/267230
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1480937.
References