On Sun, May 13, 2012 at 7:45 PM, Norbert Zeh
Leo Alekseyev [2012.05.13 1923 -0400]:
Hi Norbert, Yes, my original math was kind of dodgy... Your solution seems better, but it doesn't compile for me... any ideas?
Sorry. I didn't check whether it compiles and got the type of greedyView wrong. Here's a correct (and slightly cleaner version):
jumpToMain = withWindowSet (windows . W.greedyView . toMain . W.tag . W.workspace . W.current) where toMain ws = [head ws]
jumpToScratch = withWindowSet (windows . W.greedyView . toScratch . W.tag . W.workspace . W.current) where toScratch ws | length ws == 1 = ws ++ "SCR" | otherwise = ws
Yes, this is simpler and compiles, but doesn't seem to work here :( These functions appear to not do anything in my config...