787832b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Keep colour theme on REPL reload

Now, the colour theme is no longer thrown out when using :r or :l.

commit787832b2cf35dbb4ee641d57897ecc5815f79ee8 authorDavid Christiansen <david@davidchristiansen.dk> dateTue 17 Sep 2013, 09:53 (13 years ago) parent3a8d9db

1 file changed+9−5

compare with master

unifiedsplit

src/Idris/REPL.hs+9−5

src/Idris/REPL.hs+9−5

@@ -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])