@@ -234,15 +234,14 @@ sendParserHighlighting =
235sendHighlighting :: [(FC, OutputAnnotation)] -> Idris ()
235sendHighlighting :: [(FC, OutputAnnotation)] -> Idris ()
236sendHighlighting highlights =
236sendHighlighting highlights =
237− do let highlights_uniq = nub highlights
238− ist <- getIState
237+ do ist <- getIState
239 case idris_outputmode ist of
238 case idris_outputmode ist of
240 RawOutput _ -> updateIState $
239 RawOutput _ -> updateIState $
241 \ist -> ist { idris_highlightedRegions =
240 \ist -> ist { idris_highlightedRegions =
242− highlights_uniq ++ idris_highlightedRegions ist }
241+ highlights ++ idris_highlightedRegions ist }
243 IdeMode n h ->
242 IdeMode n h ->
244 let fancier = [ toSExp (fc, fancifyAnnots ist False annot)
243 let fancier = [ toSExp (fc, fancifyAnnots ist False annot)
245− | (fc, annot) <- highlights_uniq, fullFC fc
244+ | (fc, annot) <- highlights, fullFC fc
247 in case fancier of
246 in case fancier of
248 [] -> return ()
247 [] -> return ()