widelands-dev team mailing list archive

Thread
Date

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

To: mp+328958@xxxxxxxxxxxxxxxxxx
From: SirVer <SirVer@xxxxxx>
Date: Tue, 15 Aug 2017 09:34:16 -0000
In-reply-to: <150265748501.3670.13757071888142642783.launchpad@ackee.canonical.com>
Reply-to: mp+328958@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

> Regarding the overlay on/off thing, how about switching it on when the tool gets activated?

I do not like this sort of covenience magic. It has the ability to annoy users just as much as help them. If we design the hotkeys correctly it will be cheap to toggle the overlays on and off, so this convenience will not add much. 
-- 
https://code.launchpad.net/~widelands-dev/widelands/toggle_resources/+merge/328958
Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/buildhelp_overlay.

References

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