widelands-dev team mailing list archive

Thread
Date

Re: [Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands

To: mp+328958@xxxxxxxxxxxxxxxxxx
From: toptopple <7010622@xxxxxx>
Date: Mon, 14 Aug 2017 07:08:33 -0000
In-reply-to: <150265748501.3670.13757071888142642783.launchpad@ackee.canonical.com>
Reply-to: mp+328958@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Thanks for taking this up, SirVer! 

Looks good to me on first sight (not extensively tested) with one exception: 
-- issue: the resource editing tool has to be deactivated while the RESOURCE VIEW is switched OFF. Deactivated means it must not be possible to create or remove any resources on the map.

Extended:
-- the 'q' key is targeted as a shortcut for the resource view button


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

References

[Merge] lp:~widelands-dev/widelands/toggle_resources into lp:widelands
From: SirVer, 2017-08-13