Re: darcs patch: Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Ian Lynagh
On Tue, Oct 21, 2008 at 02:59:02PM +0100, Simon Marlow wrote: > Judah Jacobson wrote: > > >Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> > > * Restore the terminal attributes even if ghci does not exit normally. > > > >M ./compiler/ghci/InteractiveUI.hs -4 +3 > > Applied,

Re: darcs patch: Restore the terminal attributes even if ghci does not exit normally.

2008-10-21 Thread Simon Marlow
Judah Jacobson wrote: Mon Oct 20 09:41:09 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> * Restore the terminal attributes even if ghci does not exit normally. M ./compiler/ghci/InteractiveUI.hs -4 +3 Applied, thanks! Simon ___ Cvs-ghc mailing