Oh right, so you're saying get that information, DBus it out to the main process and render it in the right place in the main application?
On Mon, Jun 5, 2017 at 1:43 PM Michael Catanzaro <[email protected]> wrote: > 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
