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.
