GNOME Bugzilla – Bug 762786
Remove the css
Last modified: 2017-03-31 13:13:39 UTC
Created attachment 322546 [details] [review] Remove CSS Appears to me that not having the css doesn't make a difference, attaching a patch to be sure this is the right thing to do.
I guess it needs updated for GTK+ 3.20. Arnaud, what do you think? (You might be the only one here who could tell the difference anyway. :)
I’ll have a look on monday evening.
+Gentle reminder, Arnaud Please take a look.
+Reminder, Please look Arnaud
Review of attachment 322546 [details] [review]: I don't know what this is for, so if Arnaud doesn't reply within the next couple of days, I would just commit it.
Rebased to mainline and pushed to master. [ssareen@localhost gnome-sudoku]$ git push Counting objects: 7, done. Compressing objects: 100% (7/7), done. Writing objects: 100% (7/7), 624 bytes | 0 bytes/s, done. Total 7 (delta 6), reused 0 (delta 0) To ssh://git.gnome.org/git/gnome-sudoku 5b0c00b..4714427 master -> master