[webkit-gtk] Media controls implementation - possibilites

[Xan]

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.

Cheers, Xan

>
> Regards,
> Zan Dobersek
>
> [1] https://bugs.webkit.org/show_bug.cgi?id=26304
> [2] http://labs.trolltech.com/blogs/2008/05/13/top-secret-hush-hush/
>
> _______________________________________________
> webkit-gtk mailing list
> webkit-gtk at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-gtk
>