[webkit-reviews] review requested: [Bug 26304] [GTK] Add controls for playing html5 video. : [Attachment 40723] Adjust the media slider thumb size

[bugzilla-daemon at webkit.org]

Zan Dobersek <zandobersek at gmail.com> has asked	for review:
Bug 26304: [GTK] Add controls for playing html5 video.
https://bugs.webkit.org/show_bug.cgi?id=26304

Attachment 40723: Adjust the media slider thumb size
https://bugs.webkit.org/attachment.cgi?id=40723&action=review

------- Additional Comments from Zan Dobersek <zandobersek at gmail.com>
Sets the height and width of the media slider thumb.