WebKit Bugzilla
New
Browse
Search+
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
RESOLVED INVALID
94116
Web Inspector: CodeMirror breakpoints and gutter look different than the default ones
https://bugs.webkit.org/show_bug.cgi?id=94116
Summary
Web Inspector: CodeMirror breakpoints and gutter look different than the defa...
Pavel Feldman
Reported
2012-08-15 08:23:29 PDT
See screenshot attached.
Attachments
[IMAGE] Editor breakpoint rendering diff
(82.89 KB, image/png)
2012-08-15 08:35 PDT
,
Pavel Feldman
no flags
Details
View All
Add attachment
proposed patch, testcase, etc.
Pavel Feldman
Comment 1
2012-08-15 08:35:52 PDT
Created
attachment 158573
[details]
[IMAGE] Editor breakpoint rendering diff
Jan Keromnes
Comment 2
2012-08-15 11:29:46 PDT
I think they look better. Is the goal really to copy DefaultTextEditor pixel by pixel?
Pavel Feldman
Comment 3
2012-08-15 22:57:01 PDT
(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.
Jan Keromnes
Comment 4
2012-08-16 13:11:00 PDT
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
Note
You need to
log in
before you can comment on or make changes to this bug.
Top of Page
Format For Printing
XML
Clone This Bug