> (Yes GMane, I'm top-posting)
That discussion has come up quite a bit on IRC, but I guess I never wrote down
what I think about this.
So, here's some principles I've followed in the development of the CSS stuff.
(Disclaimer: These are my own and not official GTK project principles. Other
develop
I looked into this a while ago, and one big issue with this is that we
can't e.g. implement custom properties that we just fetch from JS. So we
couldn't implement any of our "-st-" properties or any others that we just
make up on the spot. I don't know if it would be possible or feasible to
add thi
Hello Gtk and hello Shell developers,
In https://bugzilla.gnome.org/show_bug.cgi?id=687881 I promised I'd
try to address one of the big performance problems in the current
gnome-shell, which is the St theming system.
Currently St does an awful lot of string matching again and again, as
neither the
