Я думаю, что название объясняет это уже ...
Существует новый проект под названием Valama, вы можете проверить:
https://github.com/Valama/valama
Он использует gtksourceview, так что опыт редактора похож на gedit, но все еще находится на ранней стадии разработки.
ОБНОВЛЕНИЕ : с каждым днем становится все лучше, идет активное развитие.
Как сказал @aperson, Geany - очень хороший текстовый редактор - он легкий с множеством функций. Он также поддерживает vala (сначала необходимо установить valac
, хотя для полноценной работы с vala). Многие его функции, как например, IDE. Вы можете построить / запустить одним щелчком мыши.
Чтобы установить, запустите sudo apt-get install valac geany
или найдите «valac» и «geany» в программном центре Ubuntu.
Есть два плагина для Gedit, которые обеспечивают поддержку Vala. Valencia и VTG добавляют автодополнение, просмотр символов и базовое управление проектами с помощью make-файлов
Valencia проще в настройке, поскольку VTG зависит от gtksourcecompletion, но VTG выпустила несколько последних выпусков.
http://yorba.org/valencia/ http://code.google.com/p/vtg/
Анюта поддерживает Вала с вер. 2.31.3 и есть хороший плагин для gedit. http://redmine.yorba.org/projects/valencia/wiki
Val (a) IDE , кажется, является единственной IDE с поддержкой Vala, поэтому, если вы хотите, чтобы IDE была подходящим способом. Лично я использую Vim для своих нужд в кодировании, я думаю, что имеет смысл использовать мощный редактор вместо единственной целевой среды IDE.
Вместо того, чтобы знать 20% команд (сочетания клавиш) в пяти IDE, я могу узнать 99% команд в одном редакторе.
Удивленный никто не упомянул Разработчик Gnome .
После открытия IDE, Вы видите виды проектов, которые это поддерживает (который также включает, записанные в Vala):
Вы можете использовать Val (a) IDE , вы можете найти источник / двоичный файл на панели запуска
Ссылка на Val (a) IDE , данное SourceLab , похоже, не работает.
Ссылки:
Я не могу рекомендовать IDE специально, но я могу рекомендовать Geany как отличный текстовый редактор.