HEADS UP: (logging format change). use a custom pretty printer, for an easier format to parse, than 'show' produces

This commit is contained in:
Don Stewart
2007-06-09 13:17:16 +00:00
parent a21c4d02f1
commit 0ada17c34a
4 changed files with 44 additions and 5 deletions

View File

@@ -179,7 +179,7 @@ windows f = do
-- urgh : not our delete policy, but close.
setTopFocus
when logging $ withWindowSet (io . hPrint stdout)
when logging $ withWindowSet (io . putStrLn . serial)
-- io performGC -- really helps, but seems to trigger GC bugs?
-- We now go to some effort to compute the minimal set of windows to hide.