@@ -189,20 +189,6 @@ async function EditorManager($header, $body) {
189189 function makeLineNumberExtension ( ) {
190190 const { linenumbers = true , relativeLineNumbers = false } =
191191 appSettings ?. value || { } ;
192- const baseTheme = EditorView . theme ( {
193- ".cm-gutters" : {
194- padding : "0 4px 0 0" ,
195- borderRight : "none" ,
196- backgroundColor : "transparent" ,
197- } ,
198- ".cm-lineNumbers .cm-gutterElement" : {
199- padding : "0 6px 0 2px" ,
200- } ,
201- ".cm-foldGutter .cm-gutterElement" : {
202- padding : "0 2px" ,
203- margin : 0 ,
204- } ,
205- } ) ;
206192 if ( ! linenumbers )
207193 return EditorView . theme ( {
208194 ".cm-gutter" : {
@@ -213,8 +199,8 @@ async function EditorManager($header, $body) {
213199 } ,
214200 } ) ;
215201 if ( ! relativeLineNumbers )
216- return [ lineNumbers ( ) , highlightActiveLineGutter ( ) , baseTheme ] ;
217- return [
202+ return Prec . highest ( [ lineNumbers ( ) , highlightActiveLineGutter ( ) ] ) ;
203+ return Prec . highest ( [
218204 lineNumbers ( {
219205 formatNumber : ( lineNo , state ) => {
220206 try {
@@ -227,8 +213,7 @@ async function EditorManager($header, $body) {
227213 } ,
228214 } ) ,
229215 highlightActiveLineGutter ( ) ,
230- baseTheme ,
231- ] ;
216+ ] ) ;
232217 }
233218
234219 function makeIndentExtensions ( ) {
@@ -243,6 +228,13 @@ async function EditorManager($header, $body) {
243228 // Centralised CodeMirror options registry for organized configuration
244229 // Each spec declares related settings keys, its compartment(s), and a builder returning extension(s)
245230 const cmOptionSpecs = [
231+ {
232+ keys : [ "linenumbers" , "relativeLineNumbers" ] ,
233+ compartments : [ lineNumberCompartment ] ,
234+ build ( ) {
235+ return makeLineNumberExtension ( ) ;
236+ } ,
237+ } ,
246238 {
247239 keys : [ "rainbowBrackets" ] ,
248240 compartments : [ rainbowCompartment ] ,
@@ -274,13 +266,6 @@ async function EditorManager($header, $body) {
274266 return [ indentExt , tabSizeExt ] ;
275267 } ,
276268 } ,
277- {
278- keys : [ "linenumbers" , "relativeLineNumbers" ] ,
279- compartments : [ lineNumberCompartment ] ,
280- build ( ) {
281- return makeLineNumberExtension ( ) ;
282- } ,
283- } ,
284269 {
285270 keys : [ "rtlText" ] ,
286271 compartments : [ rtlCompartment ] ,
0 commit comments