On Mon, Jun 5, 2017 at 7:39 AM, Zisu Andrei <[email protected]> wrote:
Right. I wasn't aware that those are customly drawn elements. It
looks quite ugly, but I might just try my luck before I decide on an
embedded HTML renderer.
Looking through the Webkit2 web extension API I couldn't find
anything that would allow custom drawing, or do I need to be looking
at changing the webkit2gtk api for it?
You're going to have to do everything manually... using a web extension
only gets you into the right process and gives you access to the DOM
API so that you can e.g. calculate coordinates for where to draw things.
Michael
_______________________________________________
webkit-gtk mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-gtk
