<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body ><div>Hi arun,</div><div><br></div><div>Thanks for your help.</div><div>I got to know that we can not change mediacontrolsgtk.css file as it is used from many platforms. </div><div>Our requirement for skin change functionality is</div><div>If we set a parameter 'skin#wmp' in html file, windows media player like skin should get applied.</div><div><br></div><div>Please let me know how to proceed with this.</div><div><br></div><div>Thanks,</div><div>Sunil</div><div><br></div><div><div style="font-size:75%;color:#575757">Sent from Samsung Mobile</div></div><br><br><br>-------- Original message --------<br>From: webkit-help-request@lists.webkit.org <br>Date: 14/12/2013 1:30 AM (GMT+05:30) <br>To: webkit-help@lists.webkit.org <br>Subject: webkit-help Digest, Vol 54, Issue 9 <br> <br><br>Send webkit-help mailing list submissions to<br> webkit-help@lists.webkit.org<br><br>To subscribe or unsubscribe via the World Wide Web, visit<br> https://lists.webkit.org/mailman/listinfo/webkit-help<br>or, via email, send a message with subject or body 'help' to<br> webkit-help-request@lists.webkit.org<br><br>You can reach the person managing the list at<br> webkit-help-owner@lists.webkit.org<br><br>When replying, please edit your Subject line so it is more specific<br>than "Re: Contents of webkit-help digest..."<br><br><br>Today's Topics:<br><br> 1. Re: webkit-help Digest, Vol 54, Issue 8 (ksingh.sunil)<br> 2. Re: Want to add play/pause buttons & skin change<br> functionality in html5 video (Arunprasad Rajkumar)<br><br><br>----------------------------------------------------------------------<br><br>Message: 1<br>Date: Fri, 13 Dec 2013 10:02:04 +0530<br>From: "ksingh.sunil" <ksingh.sunil@gmail.com><br>To: "webkit-help@lists.webkit.org" <webkit-help@lists.webkit.org><br>Subject: Re: [webkit-help] webkit-help Digest, Vol 54, Issue 8<br>Message-ID: <nmo9tqi00j2dnbmjxvovkq4d.1386909124674@email.android.com><br>Content-Type: text/plain; charset="utf-8"<br><br>It's gtk port.<br><br>Sunil<br><br><br>Sent from Samsung Mobile<br><br>-------- Original message --------<br>From: webkit-help-request@lists.webkit.org <br>Date: 13/12/2013 1:30 AM (GMT+05:30) <br>To: webkit-help@lists.webkit.org <br>Subject: webkit-help Digest, Vol 54, Issue 8 <br> <br>Send webkit-help mailing list submissions to<br>webkit-help@lists.webkit.org<br><br>To subscribe or unsubscribe via the World Wide Web, visit<br>https://lists.webkit.org/mailman/listinfo/webkit-help<br>or, via email, send a message with subject or body 'help' to<br>webkit-help-request@lists.webkit.org<br><br>You can reach the person managing the list at<br>webkit-help-owner@lists.webkit.org<br><br>When replying, please edit your Subject line so it is more specific<br>than "Re: Contents of webkit-help digest..."<br><br><br>Today's Topics:<br><br>?? 1. Re: Want to add play/pause buttons & skin change<br>????? functionality in html5 video (Benjamin Poulain)<br><br><br>----------------------------------------------------------------------<br><br>Message: 1<br>Date: Thu, 12 Dec 2013 11:49:02 -0800<br>From: Benjamin Poulain <benjamin@webkit.org><br>To: "ksingh.sunil" <ksingh.sunil@gmail.com>,<br>webkit-help@lists.webkit.org<br>Subject: Re: [webkit-help] Want to add play/pause buttons & skin<br>change functionality in html5 video<br>Message-ID: <52AA132E.8040008@webkit.org><br>Content-Type: text/plain; charset=ISO-8859-1<br><br>On 12/12/13, 4:17 AM, ksingh.sunil wrote:<br>> I want to add play/pause buttons & skin change functionality in html5<br>> video through webkit. Could anyone please suggest how to go about it?<br>> Which area of code needs to be changed? Any help would be appreciated.<br><br>Which port of WebKit?<br><br>Benjamin<br><br><br>------------------------------<br><br>_______________________________________________<br>webkit-help mailing list<br>webkit-help@lists.webkit.org<br>https://lists.webkit.org/mailman/listinfo/webkit-help<br><br><br>End of webkit-help Digest, Vol 54, Issue 8<br>******************************************<br>-------------- next part --------------<br>An HTML attachment was scrubbed...<br>URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20131213/3574d40f/attachment-0001.html><br><br>------------------------------<br><br>Message: 2<br>Date: Fri, 13 Dec 2013 12:39:08 +0530<br>From: Arunprasad Rajkumar <ararunprasad@gmail.com><br>To: Benjamin Poulain <benjamin@webkit.org><br>Cc: "ksingh.sunil" <ksingh.sunil@gmail.com>,<br> "webkit-help@lists.webkit.org" <webkit-help@lists.webkit.org><br>Subject: Re: [webkit-help] Want to add play/pause buttons & skin<br> change functionality in html5 video<br>Message-ID:<br> <CACDxuFzBL_Hza3Gg_WL9U2_tuNG53y2CZ5TxZdmAvJCkSkF5Ng@mail.gmail.com><br>Content-Type: text/plain; charset="iso-8859-1"<br><br>AFAIK you can do by changing RenderThemeGtk.cpp, mediaControlsGtk.css.<br><br><br>On 13 December 2013 01:19, Benjamin Poulain <benjamin@webkit.org> wrote:<br><br>> On 12/12/13, 4:17 AM, ksingh.sunil wrote:<br>> > I want to add play/pause buttons & skin change functionality in html5<br>> > video through webkit. Could anyone please suggest how to go about it?<br>> > Which area of code needs to be changed? Any help would be appreciated.<br>><br>> Which port of WebKit?<br>><br>> Benjamin<br>> _______________________________________________<br>> webkit-help mailing list<br>> webkit-help@lists.webkit.org<br>> https://lists.webkit.org/mailman/listinfo/webkit-help<br>><br><br><br><br>-- <br>*Arunprasad Rajkumar*<br>http://in.linkedin.com/in/ararunprasad<br>-------------- next part --------------<br>An HTML attachment was scrubbed...<br>URL: <https://lists.webkit.org/pipermail/webkit-help/attachments/20131213/141ca7b9/attachment-0001.html><br><br>------------------------------<br><br>_______________________________________________<br>webkit-help mailing list<br>webkit-help@lists.webkit.org<br>https://lists.webkit.org/mailman/listinfo/webkit-help<br><br><br>End of webkit-help Digest, Vol 54, Issue 9<br>******************************************<br></body>