(In reply to Tom���� Chv��tal from comment #3) > Also might be good to check what theme you have set on your gtk3 because it > might be borked... Sorry, Toma��s��, forgot to respond to the theme question: I am using the default theme in GNOME, i.e. adwaita. So I do not have any apprehension that this might be broken.