[webkit-gtk] Media controls implementation - possibilites
Jan Michael Alonzo
jmalonzo at gmail.com
Mon Aug 3 05:18:54 PDT 2009
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?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the webkit-gtk