Use a different way to force line widget margins to stay inside container

marijnh · marijnh · commit 9e3665211ac2 · 2017-12-20T10:22:33.000+01:00
Issue #5137
diff --git a/lib/codemirror.css b/lib/codemirror.css
@@ -270,7 +270,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;}
 .CodeMirror-linewidget {
   position: relative;
   z-index: 2;
-  overflow: auto;
+  padding: 0.1px; /* Force widget margins to stay inside of the container */
 }
 
 .CodeMirror-widget {}

Original file line number	Diff line number	Diff line change
`@@ -270,7 +270,7 @@ div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #a22;}`
`270`	`270`	`.CodeMirror-linewidget {`
`271`	`271`	`position: relative;`
`272`	`272`	`z-index: 2;`
`273`		`- overflow: auto;`
	`273`	`+ padding: 0.1px; /* Force widget margins to stay inside of the container */`
`274`	`274`	`}`
`275`	`275`
`276`	`276`	`.CodeMirror-widget {}`