Menu

#144 Webkit userstyle sheets loading support

open
nobody
5
2017-06-25
2017-04-18
Filip
No

Hi,

Since I'm using the PC mostly at night, I'm a "die-hard" dark themes user.
The new GTK3 version of Osmo is a god-send in that regard, however the webview is still, well snow-white and AFAIK there's no way to theme it directly from GTK ( correct me if I'm wrong).

So I would like to ask you to add the ability to load an external (css) stylesheet for webview. An option in preferences would obviously be nice, but for me, cmd line argument or config tweak would me more than enough.

I would do it myself & send a patch, however unlike Python, my C-foo is almost non-existing.

The relevant doc: https://webkitgtk.org/reference/webkit2gtk/2.5.90/webkit2gtk-WebKitUserContent.html

Thanks,
Filip

Discussion

  • Maxim Gordienko

    Maxim Gordienko - 2017-05-20

    Hi Filip,

    I commited a preliminary version to master.
    Check out the new command line option --html-stylesheet, it accepts a path to a stylesheet file.

    You probably will need some new style classes here and there.
    Please let me know your experrience. Will it be smooth or should I provide a styling guide?

    Max

     
  • Filip

    Filip - 2017-06-25

    Hello Max,

    Sorry for responding this late, I never got any notification about your reply from SF.

    Anyway, "--html-stylesheet" does it's job perfectly!

    @Style guide:

    Well, personally, I can find my way around, so not really neccessary ( though it would save me some time ).
    However it would still be a good idea to document it for other users ( @wiki, man page, an example css etc... ).

    Thank you very much! :)
    Filip

     

    Last edit: Filip 2017-06-25

Log in to post a comment.

MongoDB Logo MongoDB