From fbfbe57266db4075a5bd6319d8d7a44efb08b26b Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 26 Feb 2023 11:18:11 +0100 Subject: [PATCH] change some highlighting --- lib/Quox/Pretty.idr | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/Quox/Pretty.idr b/lib/Quox/Pretty.idr index 1c3d63a..fddcc81 100644 --- a/lib/Quox/Pretty.idr +++ b/lib/Quox/Pretty.idr @@ -204,16 +204,16 @@ prettyStr unicode = export termHL : HL -> AnsiStyle -termHL Delim = color BrightBlack +termHL Delim = neutral termHL TVar = color BrightYellow termHL TVarErr = color BrightYellow <+> underline -termHL Dim = color BrightGreen <+> bold +termHL Dim = color BrightGreen termHL DVar = color BrightGreen termHL DVarErr = color BrightGreen <+> underline -termHL Qty = color BrightMagenta <+> bold -termHL Free = color BrightWhite +termHL Qty = color BrightMagenta +termHL Free = color BrightBlue termHL Syntax = color BrightCyan -termHL Tag = color BrightBlue +termHL Tag = color BrightRed export %inline prettyTerm : PrettyOpts -> PrettyHL a => a -> IO Unit