On Wed, Jul 06, 2016 at 05:25:01PM +0100, Peter Humphrey wrote > > Well, you could always suggest that in the bug report...
Done; see comment 2 in the bug. -- Walter Dnes <waltd...@waltdnes.org> I don't run "desktop environments"; I run useful applications