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,,