@@ -201,6 +201,7 @@ sendParserHighlighting =
201 do ist <- getIState
201 do ist <- getIState
202 let hs = map unwrap . nub . map wrap $ idris_parserHighlights ist
202 let hs = map unwrap . nub . map wrap $ idris_parserHighlights ist
203 sendHighlighting hs
203 sendHighlighting hs
204 putIState ist {idris_parserHighlights = []}
205 putIState ist {idris_parserHighlights = []}
205 where wrap (fc, a) = (FC' fc, a)
206 where wrap (fc, a) = (FC' fc, a)
206 unwrap (fc', a) = (unwrapFC fc', a)
207 unwrap (fc', a) = (unwrapFC fc', a)