|Summary:||Web Inspector: make gear menu appear on styles panel at all times.|
|Product:||WebKit||Reporter:||Pavel Feldman <pfeldman>|
|Component:||Web Inspector (Deprecated)||Assignee:||Pavel Feldman <pfeldman>|
|Severity:||Normal||CC:||aroben, bweinstein, joepeck, rik, timothy|
|Version:||528+ (Nightly build)|
Description Pavel Feldman 2010-03-23 05:53:32 PDT
I came across a bug that prevents select from working normally on GTK. Probably related to popup trigger handling on GTK. I could try fixing it via some workarounds, but I noticed that the bug goes away in case we show gear menu at all times. It adds some clutter to the ui, but improves its discoverability. Do you think I should just show it at all times?
Comment 1 Timothy Hatcher 2010-03-23 07:27:28 PDT
Showing it all the time should be fine.
Comment 2 Timothy Hatcher 2010-03-23 07:27:55 PDT
You should file another bug about GTK.
Comment 3 Pavel Feldman 2010-03-23 08:20:34 PDT
Created attachment 51427 [details] [PATCH] Proposed change.
Comment 4 Pavel Feldman 2010-03-23 08:42:33 PDT
Committing to http://svn.webkit.org/repository/webkit/trunk ... M WebCore/ChangeLog M WebCore/inspector/front-end/inspector.css Committed r56396