widelands-dev team mailing list archive

[TiborB <tiborb95@xxxxxxxxx>]

I made alternative branch, that allows realtime adding/removing portspaces, see:  lp:~widelands-dev/widelands/bug-1559729-2

But the result is that it enables portspaces not intended by map creator, see screenshot:

http://postimg.org/image/4nlzfgfm5/

This is probably something we dont want, so I will try something else...


-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-1559729-lost_portspace/+merge/289626
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1559729-lost_portspace into lp:widelands.