@@ -277,7 +277,9 @@ edit f orig
277 let cmd = editor ++ line ++ f
277 let cmd = editor ++ line ++ f
278 liftIO $ system cmd
278 liftIO $ system cmd
280− putIState (orig { idris_options = idris_options i })
280+ putIState $ orig { idris_options = idris_options i
281+ , idris_colourTheme = idris_colourTheme i
281 loadInputs [f]
283 loadInputs [f]
283 return ()
285 return ()