Set the height of the line number gutter explicitly

2026-02-10 06:35:00 -05:00 · 2017-03-27 10:23:55 -06:00
parent 4e834da3e3
commit 61583462cf
2 changed files with 9 additions and 6 deletions
--- a/src/text-editor-component.js
+++ b/src/text-editor-component.js
@@ -2151,7 +2151,7 @@ class LineNumberGutterComponent {
      {
        className: 'gutter line-numbers',
        attributes: {'gutter-name': 'line-number'},
-        style: {position: 'relative'},
+        style: {position: 'relative', height: height + 'px'},
        on: {
          mousedown: this.didMouseDown
        },