On Tuesday, 5 February 2019 at 08:51:49 UTC, Antonio Corbi wrote: > Have you tweaked your gtk theme? If so, could you try with the > default (Adwaita) gtk theme? This is a Linux/Gnome thing, I'm assuming? Still, I'll look into other configuration stuff and see where it leads. Thanks, Antonio.