[webkit-gtk] Media controls implementation - possibilites
zandobersek at gmail.com
Mon Aug 3 06:52:23 PDT 2009
On Mon, 2009-08-03 at 22:18 +1000, Jan Michael Alonzo wrote:
> I agree with Xan. Any thoughts if this is plausible?
I believe it is. Here's how it is doable:
(1) We get the default GtkSettings, from which we gather two
properties - "gtk-icon-theme-name" and "gtk-fallback-icon-theme".
The first one presents the current theme in use, e.g. "Human", while the
second is usually "gnome".
(2) We search for an icon in first theme. If there is no match, we
search for it in the fallback theme. If there is no match, we fall back
to icons shipped with WebKit.
That should be simple enough. What I'd like to know is what icons should
be shipped with WebKit. Simply those which we need from the default
Gnome theme or is somebody willing to put some time into creating them?
(I don't recommend that, though - I don't believe users will see much of
More information about the webkit-gtk