[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 #2 from Jan Keromnes <janx at chromium.org>  2012-08-15 11:29:46 PST ---
I think they look better. Is the goal really to copy DefaultTextEditor pixel by pixel?

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