[webkit-help] webkit-help Digest, Vol 54, Issue 9

[ksingh.sunil]

Hi arun,

Thanks for your help.
I got to know that we can not change mediacontrolsgtk.css file as it is used from many platforms. 
Our requirement for skin change functionality is
If we set a parameter 'skin#wmp' in html file, windows media player like skin should get applied.

Please let me know how to proceed with this.

Thanks,
Sunil

Sent from Samsung Mobile

-------- Original message --------
From: webkit-help-request at lists.webkit.org 
Date: 14/12/2013  1:30 AM  (GMT+05:30) 
To: webkit-help at lists.webkit.org 
Subject: webkit-help Digest, Vol 54, Issue 9 
 
Send webkit-help mailing list submissions to
webkit-help at lists.webkit.org

To subscribe or unsubscribe via the World Wide Web, visit
https://lists.webkit.org/mailman/listinfo/webkit-help
or, via email, send a message with subject or body 'help' to
webkit-help-request at lists.webkit.org

You can reach the person managing the list at
webkit-help-owner at lists.webkit.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of webkit-help digest..."


Today's Topics:

   1. Re: webkit-help Digest, Vol 54, Issue 8 (ksingh.sunil)
   2. Re: Want to add play/pause buttons & skin change
      functionality in html5 video (Arunprasad Rajkumar)


----------------------------------------------------------------------

Message: 1
Date: Fri, 13 Dec 2013 10:02:04 +0530
From: "ksingh.sunil" <ksingh.sunil at gmail.com>
To: "webkit-help at lists.webkit.org" <webkit-help at lists.webkit.org>
Subject: Re: [webkit-help] webkit-help Digest, Vol 54, Issue 8
Message-ID: <nmo9tqi00j2dnbmjxvovkq4d.1386909124674 at email.android.com>
Content-Type: text/plain; charset="utf-8"

It's gtk port.

Sunil


Sent from Samsung Mobile

-------- Original message --------
From: webkit-help-request at lists.webkit.org 
Date: 13/12/2013  1:30 AM  (GMT+05:30) 
To: webkit-help at lists.webkit.org 
Subject: webkit-help Digest, Vol 54, Issue 8 

Send webkit-help mailing list submissions to
webkit-help at lists.webkit.org

To subscribe or unsubscribe via the World Wide Web, visit
https://lists.webkit.org/mailman/listinfo/webkit-help
or, via email, send a message with subject or body 'help' to
webkit-help-request at lists.webkit.org

You can reach the person managing the list at
webkit-help-owner at lists.webkit.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of webkit-help digest..."


Today's Topics:

?? 1. Re: Want to add play/pause buttons & skin change
????? functionality in html5 video (Benjamin Poulain)


----------------------------------------------------------------------

Message: 1
Date: Thu, 12 Dec 2013 11:49:02 -0800
From: Benjamin Poulain <benjamin at webkit.org>
To: "ksingh.sunil" <ksingh.sunil at gmail.com>,
webkit-help at lists.webkit.org
Subject: Re: [webkit-help] Want to add play/pause buttons & skin
change functionality in html5 video
Message-ID: <52AA132E.8040008 at webkit.org>
Content-Type: text/plain; charset=ISO-8859-1

On 12/12/13, 4:17 AM, ksingh.sunil wrote:
> I want to add play/pause buttons & skin change functionality in html5
> video through webkit. Could anyone please suggest how to go about it?
> Which area of code needs to be changed? Any help would be appreciated.

Which port of WebKit?

Benjamin


------------------------------

_______________________________________________
webkit-help mailing list
webkit-help at lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-help


End of webkit-help Digest, Vol 54, Issue 8
******************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20131213/3574d40f/attachment-0001.html>

------------------------------

Message: 2
Date: Fri, 13 Dec 2013 12:39:08 +0530
From: Arunprasad Rajkumar <ararunprasad at gmail.com>
To: Benjamin Poulain <benjamin at webkit.org>
Cc: "ksingh.sunil" <ksingh.sunil at gmail.com>,
"webkit-help at lists.webkit.org" <webkit-help at lists.webkit.org>
Subject: Re: [webkit-help] Want to add play/pause buttons & skin
change functionality in html5 video
Message-ID:
<CACDxuFzBL_Hza3Gg_WL9U2_tuNG53y2CZ5TxZdmAvJCkSkF5Ng at mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"

AFAIK you can do by changing RenderThemeGtk.cpp, mediaControlsGtk.css.


On 13 December 2013 01:19, Benjamin Poulain <benjamin at webkit.org> wrote:

> On 12/12/13, 4:17 AM, ksingh.sunil wrote:
> > I want to add play/pause buttons & skin change functionality in html5
> > video through webkit. Could anyone please suggest how to go about it?
> > Which area of code needs to be changed? Any help would be appreciated.
>
> Which port of WebKit?
>
> Benjamin
> _______________________________________________
> webkit-help mailing list
> webkit-help at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-help
>



-- 
*Arunprasad Rajkumar*
http://in.linkedin.com/in/ararunprasad
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20131213/141ca7b9/attachment-0001.html>

------------------------------

_______________________________________________
webkit-help mailing list
webkit-help at lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-help


End of webkit-help Digest, Vol 54, Issue 9
******************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20131218/32c8ecaf/attachment.html>