[Webkit-unassigned] [Bug 66819] Web Inspector: Directional arrow on element info box looks terrible

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Wed Aug 24 00:29:24 PDT 2011


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





--- Comment #2 from Pavel Feldman <pfeldman at chromium.org>  2011-08-24 00:29:24 PST ---
There were three requests / problems this change was addressing:

a. Numerous users requested that different colors are used for padding/margin/etc.
b. Title was rendered with plain monospace (different from elements panel), no color coding was used
c. Title box was aligned with the margin box and for small elements it resulted in the confusion: "does it overlap margin"?

(In reply to comment #0)
> The new little directional arrow on the yellow box that contains the name, ID, class and dimensions of a DOM node is very poorly drawn.
> 1) The bottom left portion should be shifted over by 1px so the first pixel doesn't draw on top of the box's border.

+1, definitely requires fixing.

> 2) The tip is obnoxious.  Far too large.

+1, Mac OS port problem, we are using smaller fonts on Mac, should be reflected in the title box.

> 3) The bottom right side draws on top of the box's border, as well as an extra pixel with it too.

+1, will fix.


> 4) The bottom right side needs to be shifted to avoid the same problem as (1).

+1, will fix.
> 
> Why was this even changed?  Just because callout arrows are in vogue doesn't mean every last UI element on every platform needs it.  It looks kind of ridiculous.

The reason behind the change is (c) from above. If you have an idea on how to make it more transparent / make arrow less rediculous, please let us know.

-- 
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