[Github-comments] [geany/geany] Theme improvements (#1382)

Colomban Wendling notifications at xxxxx
Mon Jan 30 13:31:48 UTC 2017


> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170130/35a6c1ca/attachment.html>


More information about the Github-comments mailing list