Code

Give proper colors to builtins#2834

Code

Merged

janmasrovira merged 6 commits intomainanoma/juvix:mainfrom 2800-builtin-axioms-should-have-a-different-face-color-than-non-builtin-axiomsanoma/juvix:2800-builtin-axioms-should-have-a-different-face-color-than-non-builtin-axiomsCopy head branch name to clipboardJun 18, 2024

+136-38

Commits

Commits on Jun 17, 2024

• remove unused fields infoHighlightDoc, infoHighlightNames

  janmasrovira

  committed
  09fb78f

  Copy full SHA for 09fb78f

• add HasNameKind instance for BuiltinAxiom

  janmasrovira

  committed
  80c1e4e

  Copy full SHA for 80c1e4e

• scoping

  janmasrovira

  committed
  c9f3e0b

  Copy full SHA for c9f3e0b

• nameKindDisplay

  janmasrovira

  committed
  6b08f25

  Copy full SHA for 6b08f25

• remove default implementation of getNameKindDisplay

  janmasrovira

  committed
  9ee4ba4

  Copy full SHA for 9ee4ba4

• rename display -> pretty

  janmasrovira

  committed
  2abe776

  Copy full SHA for 2abe776