Code review comment for lp:~widelands-dev/widelands/empire04_unused_key_return_on_dismantle_no_ui

Code looks good in principle, but haven't tested yet whether it really works as intended.

Two minor nits:
1) see diff comment
2) All the new lines (except when they were copied over) are indented with spaces instead of tabs.