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

Reply via email to