drochner ba10990554 put back the (non-default) "idea" option which got lost a while ago		2009-12-18 18:54:24 +00:00
..
idea-patch