Hola de nuevo,
he seguido investigando y al editor de texto de toda la vida gedit, se le puede complementar con un plugin
(plugin-gedit) para poner el terminal empotrado y demás cosas, está muy bien y tal, pero todavía estoy esperando vuestras opiniones.