@@ -217,13 +217,17 @@ processInput cmd orig inputs
217 case parseCmd i "(input)" cmd of
217 case parseCmd i "(input)" cmd of
218 Left err -> do liftIO $ print err
218 Left err -> do liftIO $ print err
219 return (Just inputs)
219 return (Just inputs)
220− Right Reload ->
220+ Right Reload ->
221− do putIState (orig { idris_options = idris_options i })
221+ do putIState $ orig { idris_options = idris_options i
222+ , idris_colourTheme = idris_colourTheme i
223− mods <- loadInputs inputs
225+ mods <- loadInputs inputs
224 return (Just inputs)
226 return (Just inputs)
225− Right (Load f) ->
227+ Right (Load f) ->
226− do putIState (orig { idris_options = idris_options i })
228+ do putIState orig { idris_options = idris_options i
229+ , idris_colourTheme = idris_colourTheme i
228 mod <- loadModule f
232 mod <- loadModule f
229 return (Just [f])
233 return (Just [f])