Set colour off by default on Windows
The ANSI lib doesn't emit the commands on Windows anyway. And the coloured prompt
printing adds a couple of ugly chars that gets printed on a windows console.
commit15fdeffbb29af3cd9d8dd01f00bf10230b6977a4
authorNiklas Larsson <niklas@mm.st>
dateWed 29 Apr 2015, 20:20 (11 years ago)
parent00ad5a3
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