olaf 2004/10/12 10:22:09 PDT Modified files: src/hattools HatSource.hs HighlightStyle.hs Log: Added a message line that either gives some state information or shows a warning message. Reduce screen flickering by forcing the whole screen output string before doing output. Cut overlong lines at end of line. Handle \t, \r and \f correctly. Added forgotten export of "home" to HighlightStyle. Revision Changes Path 1.13 +74 -27 hat/src/hattools/HatSource.hs 1.7 +1 -1 hat/src/hattools/HighlightStyle.hs