codebloks

要改在终端运行代码，只要修改在settings的environment的"Terminal to ……"选项，把xterm -T $TITLE -e改成gnome-terminal -t $TITLE -x就行了。 有什么优点？至少复制粘贴管用了。