Make --ideslave imply --nocolour
commit8b91e60cb12d1eab2d67b26bc97516ea77c2f715
authorDavid Christiansen <david@davidchristiansen.dk>
dateMon 18 Nov 2013, 16:18 (13 years ago)
parentf18d79c
src/Idris/AbsSyntax.hs+1−1
@@ -451,7 +451,7 @@ outputTy = do i <- getIState
451451
452452setIdeSlave :: Bool -> Idris ()
453453setIdeSlave True = do i <- getIState
454− putIState $ i { idris_outputmode = (IdeSlave 0) }
454+ putIState $ i { idris_outputmode = (IdeSlave 0), idris_colourRepl = False }
455455setIdeSlave False = return ()
456456
457457setTargetTriple :: String -> Idris ()