[Webkit-unassigned] [Bug 83869] New: [Gtk] HTML5 Media controls require a design refresh
bugzilla-daemon at webkit.org
bugzilla-daemon at webkit.org
Fri Apr 13 01:34:15 PDT 2012
https://bugs.webkit.org/show_bug.cgi?id=83869
Summary: [Gtk] HTML5 Media controls require a design refresh
Product: WebKit
Version: 528+ (Nightly build)
Platform: Unspecified
OS/Version: Unspecified
Status: NEW
Severity: Normal
Priority: P2
Component: WebKit Gtk
AssignedTo: webkit-unassigned at lists.webkit.org
ReportedBy: zandobersek at gmail.com
HTML5 Media controls can end up rather strange-looking because the current design relies heavily on specific theme colors and stock icons. Instead of that, I recommend a couple of things for starters:
- make the media controls stylable through GtkStyleContext (i.e. theme designers can directly affect the controls look through Gtk+ themes)
- look up possible designs with the GNOME Design Team
--
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
More information about the webkit-unassigned
mailing list