[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 #4 from Jan Keromnes <janx at chromium.org>  2012-08-16 13:11:00 PST ---
I also find the new breakpoints look a little heavy. This is due to the 1px border image width on top and bottom of the breakpoints. But changing it back to 0px makes the border intersect with the line numbers, making them less readable. Maybe there's a compromise we can reach.

Also worth noting, Thaddee Tyl brought to my attention that my breakpoints look a bit like the new Safari Devtools breakpoints: https://devimages.apple.com.edgekey.net/technologies/safari/images/tools_gallery/tools-breakpoints.jpg

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