[Webkit-unassigned] [Bug 103049] Web Inspector: Adding mouse hover gesture on "Show navigator" button on Sources panel

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=103049





--- Comment #2 from Sankeerth V S <sankeerthvsriram at gmail.com>  2012-11-22 03:47:04 PST ---
(In reply to comment #1)
> I don't think it makes a lot of sense to implement this.
> Whoever needs to open several files can dock navigator and click is also not something that takes too much time.
I agree with what you say. But on smaller displays with limited real estate, docking a navigator would consume screen space. In such a case having this hover action would be useful.

> Most importantly the recommended workflow would be to use Ctrl/Cmd+O "Go to source" shortcut instead.
Yeah its really a nice feature. Again, the above feature is just an usability improvement to quickly open the files without typing as it would be required with Ctrl/Cmd+O.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.