[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