On Fri, Feb 10, 2023 at 8:54 AM Marco wrote: > > Marco, which window manager are you using? > > mwm (motif window manager), on both machines.
I can reproduce the issue after installing mwm. (Normally I use the Marco window manager :) ) Tormod
On Fri, Feb 10, 2023 at 8:54 AM Marco wrote: > > Marco, which window manager are you using? > > mwm (motif window manager), on both machines.
I can reproduce the issue after installing mwm. (Normally I use the Marco window manager :) ) Tormod