[Webkit-unassigned] [Bug 94116] Web Inspector: CodeMirror breakpoints and gutter look different than the default ones

[bugzilla-daemon at webkit.org]

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





--- Comment #3 from Pavel Feldman <pfeldman at chromium.org>  2012-08-15 22:57:01 PST ---
(In reply to comment #2)
> I think they look better. Is the goal really to copy DefaultTextEditor pixel by pixel?

I think new looks renders line number better, I also like the new gutter border color for being not that intense. But I also find new breakpoints looking heavy. Adding Patrick to give an advice on the better looks.

It is not that we are targeting pixel-by-pixel similarity, but we should try hard in making the editors look alike. If that is not feasible due to the codemirror limitations (like with messages) - that is fine - we will look for workarounds. But by default, we should copy the looks.

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