jEdit Plugin Central 1.0

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 4.0/5 - ‎1 ‎Голосов

О jEdit Plugin Central

jEdit Plugin Central является основным онлайн-хранилищем плагинов для текстового редактора jEdit. В сочетании с этим репозиторием интегрированный Plugin Manager позволяет пользователям jEdit устанавливать, модернизировать и удалять плагины, не выходя из редактора.