Thanks for all the suggestions. I have tried lots of window managers now and
come to the end of time and energy. Need to get on with the work and stop
tinkering. I've created a new user and tried with that - didn't help. I
haven't found a different window manager I can live with that will run
On Sun, 5 Nov 2023 15:58:50 +
Peter wrote:
> Thanks for all the suggestions. I have tried lots of window managers
> now and come to the end of time and energy. Need to get on with the
> work and stop tinkering. I've created a new user and tried with that
> - didn't help. I haven't found a d
