-
Arnaud Rebillout authored
A GtkWidget already has a 'window' css name by default, so setting it to something else breaks theming. So let's do it better, let's load a user defined css file if found. For reference, this change was introduced in 29a9f324. Fixes: #140
88f39fb1