id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
1235	customizable external terminal	trash80		"It will be great to allow user to choose which terminal will be used. For example on linux: gnome-terminal, xterm, kde-terminal
and on windows: cmd, cygwin, msys, gow..."	enhancement	closed	minor		not classified yet		duplicate