On Fri, Aug 16, 2019 at 10:59:19AM +0100, Edd Barrett wrote: > One other nit I just noticed (that you may have already fixed too) is > that in settings->appearance->style, selecting different styles doesn't > make a difference.
And one more: a couple of times the whole desktop session has locked up. The mouse moves but you can't focus or interact with any windows or the status bar. Keyboard bindings are also ineffectual. Not sure what causes it. Bad bug report, I know :\ -- Best Regards Edd Barrett http://www.theunixzoo.co.uk
