[Bugs] #4465 Browse UNSP: Browse: buttons in media plugin are too small to see, much less select

[Sugar Labs Bugs]

#4465: Browse: buttons in media plugin are  too small to see, much less select
------------------------------------------+---------------------------------
    Reporter:  wad                        |          Owner:  manuq                      
        Type:  defect                     |         Status:  assigned                   
    Priority:  Unspecified by Maintainer  |      Milestone:  Unspecified by Release Team
   Component:  Browse                     |        Version:  0.98.x                     
    Severity:  Unspecified                |       Keywords:                             
Distribution:  OLPC                       |   Status_field:  Unconfirmed                
------------------------------------------+---------------------------------

Comment(by manuq):

 The attached script
 (http://bugs.sugarlabs.org/attachment/ticket/4465/sugarized_media_player.py)
 shows how WebKit's embedded media player can be themed.  If a request is
 made for a MIME type 'audio/x-vorbis+ogg', it injects a CSS using
 WebKit.WebView.execute_script [1].  The CSS is replacing rules based on
 their original values that can be found in WebKit source [2] [3].

 The override CSS needs more work.  It currently fixes the black background
 (#3933), and makes the buttons Sugar standard size (55 x 55 px), but the
 image inside the buttons is small.  I still couldn't find a way to replace
 them, they are not mentioned in the original CSS files from WebKit.

 [1] http://webkitgtk.org/reference/webkitgtk/stable/webkitgtk-
 webkitwebview.html#webkit-web-view-execute-script
 [2]
 http://trac.webkit.org/browser/trunk/Source/WebCore/css/mediaControls.css
 [3]
 http://trac.webkit.org/browser/trunk/Source/WebCore/css/mediaControlsGtk.css

-- 
Ticket URL: <http://bugs.sugarlabs.org/ticket/4465#comment:6>
Sugar Labs <http://sugarlabs.org/>
Sugar Labs bug tracking system