Merge pull request #2208 from melted/prompt
Set colour off by default on Windows
commit3acb910d087d3345a6c69ffce77c8967350da1f1
authorNiklas Larsson <metaniklas@gmail.com>
dateWed 29 Apr 2015, 23:03 (11 years ago)
parent00ad5a315fdeff
src/Idris/REPL.hs+1−1
@@ -1587,7 +1587,7 @@ idrisMain opts =
15871587
15881588 when (DefaultTotal `elem` opts) $ do i <- getIState
15891589 putIState (i { default_total = True })
1590− setColourise $ not quiet && last (True : opt getColour opts)
1590+ setColourise $ not quiet && last ((not isWindows) : opt getColour opts)
15911591
15921592
15931593