| Index: third_party/WebKit/Source/devtools/front_end/devtools.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/devtools.js b/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| index e98419de797b090bffedc853241d64a909dd2a31..7ccf4487f8fe281a550ccdcfb5380983e7382f0a 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/devtools.js
|
| @@ -992,6 +992,11 @@ function installBackwardsCompatibility()
|
| var styleElement = window.document.createElement("style");
|
| styleElement.type = "text/css";
|
| styleElement.textContent = "html /deep/ * { min-width: 0; min-height: 0; }";
|
| +
|
| + // Support for quirky border-image behavior (<M51), see:
|
| + // https://bugs.chromium.org/p/chromium/issues/detail?id=559258
|
| + styleElement.textContent += "\nhtml /deep/ .cm-breakpoint .CodeMirror-linenumber { border-style: solid !important; }";
|
| + styleElement.textContent += "\nhtml /deep/ .cm-breakpoint.cm-breakpoint-conditional .CodeMirror-linenumber { border-style: solid !important; }";
|
| window.document.head.appendChild(styleElement);
|
|
|
| // Support for legacy (<M49) frontends. Remove in M52.
|
|
|