Preserve colour themes after :e
commit195f7319415718c7aec26ee425b4b2a3ca9dd8c3
authorDavid Christiansen <david@davidchristiansen.dk>
dateThu 26 Sep 2013, 10:42 (13 years ago)
parent583cc43
src/Idris/REPL.hs+3−1
@@ -277,7 +277,9 @@ edit f orig
277277 let cmd = editor ++ line ++ f
278278 liftIO $ system cmd
279279 clearErr
280− putIState (orig { idris_options = idris_options i })
280+ putIState $ orig { idris_options = idris_options i
281+ , idris_colourTheme = idris_colourTheme i
282+ }
281283 loadInputs [f]
282284 iucheck
283285 return ()