From 46a60e52602178f18a50ae3afa611937c4147fe6 Mon Sep 17 00:00:00 2001 From: KristofferC Date: Wed, 24 Aug 2022 11:16:14 +0200 Subject: [PATCH] change highlight color from an RGB value to `Base.error_color()` --- src/diagnostics.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/diagnostics.jl b/src/diagnostics.jl index 092571e2..ecf61afd 100644 --- a/src/diagnostics.jl +++ b/src/diagnostics.jl @@ -79,7 +79,7 @@ function show_diagnostic(io::IO, diagnostic::Diagnostic, source::SourceFile) a,b = source_line_range(source, p, context_lines_before=2, context_lines_after=1) c,d = source_line_range(source, q, context_lines_before=1, context_lines_after=2) - hicol = (100,40,40) + hicol = Base.error_color() # TODO: show line numbers on left