← Back to team overview

widelands-dev team mailing list archive

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