Yes, I noticed that too, and I am not sure how to solve this - undoing the filter might also be an annoyance to the player. For now, I'm in favour of keeping it as it is and wait until somebody complains before doing any changes.
Thanks for doing all these reviews! :) @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1672059-table-message-arrival/+merge/344926 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/bug-1672059-table-message-arrival. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
