Set do_bold based on $TERM, not platform
authorIan Lynagh <igloo@earth.li>
Thu, 6 Sep 2007 17:55:35 +0000 (17:55 +0000)
committerIan Lynagh <igloo@earth.li>
Thu, 6 Sep 2007 17:55:35 +0000 (17:55 +0000)
commitbd50bd07d54631d802598b6fb9a6f468afa823cf
tree943b228c41999fe8f0b7ed8a28242c75b22aabed
parent8fa821cd48cdf0a265df8915e4330d3b6fb9e6a3
Set do_bold based on $TERM, not platform
compiler/ghci/InteractiveUI.hs