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?
Showing it all the time should be fine.
You should file another bug about GTK.
Created attachment 51427 [details] [PATCH] Proposed change.
Committing to http://svn.webkit.org/repository/webkit/trunk ... M WebCore/ChangeLog M WebCore/inspector/front-end/inspector.css Committed r56396
Seems like this probably fixed bug 29812.