This could probably also be done in such a way that users could use GTK+ theme to configure it, avoiding the need for super obscure various or other preferences for something which seems at least mildly theme-dependent.
-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/2112#issuecomment-476905235
