[webkit-gtk] Media controls implementation - possibilites

[Jan Michael Alonzo]

On Sun, Aug 2, 2009 at 11:40 PM, Xan <xan.lopez at gmail.com> wrote:

> Hi Zan,
>
> On Sun, Aug 2, 2009 at 2:49 PM, Zan Dobersek<zandobersek at gmail.com> wrote:
> > In my opinion, the way to go is (3). 16x16 icons are not very
> > memory-consuming, and we also get the coolish look with all the icons
> > being available. With that covered, just a nice slider track and thumb
> > are needed to fulfill the look.
> >
> > What I'd like is others' opinion - comments, discussion and ideas are
> > welcomed.
>
> IMHO something like this would make sense: try to do 1) or 2) to get
> nice integration with the desktop environment (with my GNOME hat on,
> that would be "try to do what you can to look like Totem"), but if you
> won't be able to draw a decent looking set of controls fallback to 3),
> a default set that is shipped with WebKitGTK+ itself.
>

I agree with Xan. Any thoughts if this is plausible?

Regards,
Jan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-gtk/attachments/20090803/999838e1/attachment.html>