Removes useless code
use JediTermWidget instead of TabbedTerminalWidget