November 25, 2020 11:11 AM, "Benoît Minisini" <g4mba5 at gmail.com> wrote: > > Maybe it could be related to the GTK+3 widget theme in use? > I've read in a lot of replies to problems from many different software that some GTK+3 themes are broken and cause problems with the GUIs. Regards, Joe1962