From c29c5cde24675e152e0cff754b32db7b2b59bfa0 Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Sat, 9 Jun 2007 15:17:16 +0200 Subject: HEADS UP: (logging format change). use a custom pretty printer, for an easier format to parse, than 'show' produces darcs-hash:20070609131716-9c5c1-ac6b3d7e8193b16ca9ae65f32d5373090107eca1.gz --- Operations.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Operations.hs') diff --git a/Operations.hs b/Operations.hs index bd85637..0716533 100644 --- a/Operations.hs +++ b/Operations.hs @@ -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. -- cgit v1.2.3