[user info when searchspace exhausted
martin.hofmann@uni-bamberg.de**20100105140453] hunk ./src/Igor2/UI/UIStarter.hs 346
-    (indent 13 $ text "CPU:" <+> t) <>
-    vcat (map (printTier (length ts)) (zip ts [1..]))
+    (indent 13 $ text "CPU:" <+> t) <$>
+    if null ts then (indent 7 $ red $ text "NO RESULTS! Exhausted Searchspace!") <$> linebreak
+     else vcat (map (printTier (length ts)) (zip ts [1..]))