jess
/
Acord
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

hide gutter by matching editor background when line numbers off

This commit is contained in:
jess 2026-04-06 00:56:04 -07:00
parent b2670d2acb
commit 54e262161c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/EditorView.swift
View File

@ -1852,7 +1852,8 @@ class LineNumberTextView: NSTextView {
let origin = textContainerOrigin let origin = textContainerOrigin
let gutterRect = NSRect(x: 0, y: rect.origin.y, width: LineNumberTextView.gutterWidth, height: rect.height) let gutterRect = NSRect(x: 0, y: rect.origin.y, width: LineNumberTextView.gutterWidth, height: rect.height)
Theme.current.mantle.setFill() let lineMode = UserDefaults.standard.string(forKey: "lineIndicatorMode") ?? "on"
(lineMode == "off" ? Theme.current.base : Theme.current.mantle).setFill()
gutterRect.fill() gutterRect.fill()
drawLineNumbers(origin: origin) drawLineNumbers(origin: origin)