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? On Mon, Jun 5, 2017 at 12:09 PM Michael Catanzaro <[email protected]> wrote: > On Mon, Jun 5, 2017 at 6:06 AM, Michael Catanzaro > <[email protected]> wrote: > > On Mon, Jun 5, 2017 at 5:57 AM, Konstantin Tokarev > > <[email protected]> wrote: > >> Real problem is not to draw widgets, but to make them respond to > >> input events > >> in the same way as native widgets do. > > > > To be able to draw using the GTK+ theme, you'll need a web extension > > and you'll need to use the same foreign drawing API used by > > RenderThemeGtk. Nightmares will ensue. So I think even just drawing > > is going to be difficult. > > > > Michael > > To be able to draw using the GTK+ theme, you'll need a web extension > and you'll need to use the same foreign drawing API used by > RenderThemeGtk. Nightmares will ensue. So I think even just drawing is > going to be difficult. > > Michael > >
_______________________________________________ webkit-gtk mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-gtk
