widelands-dev team mailing list archive

Thread
Date

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

To: mp+236231@xxxxxxxxxxxxxxxxxx
From: GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>
Date: Sun, 28 Sep 2014 07:11:22 -0000
In-reply-to: <20140927161121.28679.15619.launchpad@ackee.canonical.com>
Reply-to: mp+236231@xxxxxxxxxxxxxxxxxx
Sender: bounces@xxxxxxxxxxxxx

Hotkeys work just fine with me, the toggle on/off. Is it '$number'.

1. That would make the filter harder to implement - I just went with the easy option.

2. The flag on the bottom is not the currently selected category, but the category of the current message. Maybe the tooltip should be clearer - "Type of this message: " maybe?
-- 
https://code.launchpad.net/~widelands-dev/widelands/bug-987510/+merge/236231
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-987510 into lp:widelands.

References

[Merge] lp:~widelands-dev/widelands/bug-987510 into lp:widelands
From: GunChleoc, 2014-09-27