mirror of
https://github.com/helix-editor/helix
synced 2026-08-05 02:33:01 +02:00
Michael Davisandm4dh0rs3
e14e8477e8
locals.scm used bare @local.definition instead of the required @local.definition.<class> suffix, so its captures had no effect. highlights.scm used @function.definition and @function.call, which aren't real highlight scopes (they fall back to plain @function anyway). Fixed both to follow convention, splitting locals.scm definitions into variable (floating/essential hypotheses) and function (axiom/provable theorems) to match the classification already used in tags.scm. Co-authored-by: m4dh0rs3 <54140937+m4dh0rs3@users.noreply.github.com>
27 lines
468 B
Scheme
27 lines
468 B
Scheme
; Scopes
|
|
(block) @local.scope
|
|
(database) @local.scope
|
|
|
|
; Definitions
|
|
(floating_stmt
|
|
(label) @local.definition.variable)
|
|
|
|
(essential_stmt
|
|
(label) @local.definition.variable)
|
|
|
|
(axiom_stmt
|
|
(label) @local.definition.function)
|
|
|
|
(provable_stmt
|
|
(label) @local.definition.function)
|
|
|
|
(variable_stmt
|
|
(variable) @local.definition.variable)
|
|
|
|
(constant_stmt
|
|
(constant) @local.definition.constant)
|
|
|
|
; References in proofs
|
|
(uncompressed_proof
|
|
(label) @local.reference)
|