git.iko.soy/Idris-dev
on master help sign in
Stop traveling through time when highlighting

This fixes an issue where keyword highlights were improperly displayed.

commit9af272e3527b86943966c650423e13c9ec365cbc authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 18 Aug 2015, 15:05 (11 years ago) parentd9bfa3e
1 file changed+1
compare with master
unifiedsplit
src/Idris/Output.hs+1
src/Idris/Output.hs+1
@@ -201,6 +201,7 @@ sendParserHighlighting =
201201 do ist <- getIState
202202 let hs = map unwrap . nub . map wrap $ idris_parserHighlights ist
203203 sendHighlighting hs
204+ ist <- getIState
204205 putIState ist {idris_parserHighlights = []}
205206 where wrap (fc, a) = (FC' fc, a)
206207 unwrap (fc', a) = (unwrapFC fc', a)