That's just an example use-case (even if the only one), but the idea is that instead of us dictating what the user can style, they can just use normal CSS without being limited by stuff we happen to have given IDs too (or stuff below it). Also, the CSS doesn't require to make every selector contain GeanyWhatever or geany-whatever.

Well, if you think it's worth it, OK.

IMO it makes more sense to let user use the GTK-provided facility for that

Why can't they if they want to?

I didn't mean to imply they couldn't, but that it was enough.

Probably, or it could be a GTK+ 3-only feature.

People might guess why, but as nobody will ever use it I guess it doesn't matter :)

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.