> 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 or view it on GitHub: https://github.com/geany/geany/pull/1382#issuecomment-276063014
