On Sunday June 21 2015 16:29:28 Ryan Schmidt wrote: > So... we just added a port that probably doesn't work? It worked fine when I wrote it (and still does for me)... I just discovered the thing about GTk3 theming myself.