@@ -217,13 +217,17 @@ processInput cmd orig inputs
217217 case parseCmd i "(input)" cmd of
218218 Left err -> do liftIO $ print err
219219 return (Just inputs)
220− Right Reload ->
221− do putIState (orig { idris_options = idris_options i })
220+ Right Reload ->
221+ do putIState $ orig { idris_options = idris_options i
222+ , idris_colourTheme = idris_colourTheme i
223+ }
222224 clearErr
223− mods <- loadInputs inputs
225+ mods <- loadInputs inputs
224226 return (Just inputs)
225− Right (Load f) ->
226− do putIState (orig { idris_options = idris_options i })
227+ Right (Load f) ->
228+ do putIState orig { idris_options = idris_options i
229+ , idris_colourTheme = idris_colourTheme i
230+ }
227231 clearErr
228232 mod <- loadModule f
229233 return (Just [f])