Summary: | Web Inspector: Breakpoint in gutter has clipped / broken border image. | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Product: | WebKit | Reporter: | Joseph Pecoraro <joepeck> | ||||||||
Component: | Web Inspector | Assignee: | zalan <zalan> | ||||||||
Status: | RESOLVED FIXED | ||||||||||
Severity: | Normal | CC: | commit-queue, esprehn+autocc, glenn, graouts, joepeck, kondapallykalyan, simon.fraser, timothy, webkit-bug-importer, zalan | ||||||||
Priority: | P2 | Keywords: | InRadar | ||||||||
Version: | 528+ (Nightly build) | ||||||||||
Hardware: | All | ||||||||||
OS: | All | ||||||||||
Attachments: |
|
Description
Joseph Pecoraro
2014-04-10 11:32:30 PDT
CSS for this is: border-image-source: -webkit-image-set(url(../Images/Breakpoint.png) 1x, url(../Images/Breakpoint@2x.png) 2x); Looks like this was caused by: <http://trac.webkit.org/changeset/166925> NOTE: This is a non-retina (1x) machine. I can repro it on 2x display. It looks terrible. More accurately the CSS is: .text-editor > .CodeMirror .has-breakpoint .CodeMirror-linenumber::before { position: absolute; top: 0; left: 0; bottom: 0; right: -7px; content: ""; z-index: -2; border-image-source: -webkit-image-set(url(../Images/BreakpointInactive.png) 1x, url(../Images/BreakpointInactive@2x.png) 2x); border-image-slice: 3 7 3 3 fill; border-width: 3px 7px 3px 3px; } Created attachment 229069 [details]
Test reduction
Created attachment 229076 [details]
Patch
Comment on attachment 229076 [details]
Patch
r=me, Thanks!
Comment on attachment 229076 [details] Patch Clearing flags on attachment: 229076 Committed r167090: <http://trac.webkit.org/changeset/167090> All reviewed patches have been landed. Closing bug. |