Исправление grem, 25.10.14 13:18 (текущая версия) :
Либо в настройках из соответствующего выпадающего меню, емнип, можно выбрать другой эмулятор терминала
Исходная версия grem, 25.10.14 13:17:
Либо в настройках из соттветствующего выпадающего меню, емнип, можно выбрать другой эмулятор терминала