[BUGFIX: Forgot to set taargets in new config
martin.hofmann@uni-bamberg.de**20100326132223] hunk ./src/Igor2/UI/UIStarter.hs 253
-    let exmpls = liftM2 (,) (getBindings tgts (context s))(getBindings bgks (context s)) in
-    case exmpls of
+    let conf = (setTargets tgts) . (setBackground bgks) . config $ s
+        exmpls = liftM2 (,) (getBindings tgts (context s))(getBindings bgks (context s)) 
+    in case exmpls of
hunk ./src/Igor2/UI/UIStarter.hs 258
-          (res,t) <- time (startSynthesis (spec_ctx $ context s)(config s) ts bs)
+          (res,t) <- time (startSynthesis (spec_ctx $ context s) conf ts bs)
hunk ./src/Igor2/UI/UIStarter.hs 260
-          printResult s' (config s) t res
+          printResult s' conf t res