NoneJ Edit - это многоплатформенный текстовый редактор с открытым исходным кодом, написанный на Java.
1 ответ

Найти от последней пустой строки до строки с помощью регулярных выражений

Мне нужно сделать поиск в jEdit для строки, начиная с конца последней пустой строки до другой строки: blah blah blah blah blah empty line empty line empty line *start here* blah blah blah blah blah blah blah blah ------ Running ------ Идея состоит в…
17 окт '14 в 17:29
1 ответ

Использование Jedit Git плагин

Я установил Git Plugin для JEdit, но не вижу, как заставить его работать. В настоящее время я использую плагин SVN и у меня нет проблем с этим, но работа требует изменения в gitlab. Где я могу настроить доступ к репозиторию gitlab и что он ожидает в…
03 дек '15 в 02:10
2 ответа

Как изменить стиль вкладок для буферизованных вкладок

Как я могу изменить внешний вид плагина буферизованных вкладок, чтобы они выглядели как обычные вкладки вместо ленты?
22 ноя '13 в 16:58
0 ответов

Автозаполнение в `notepad++`

Я большой поклонник блокнота ++. Из-за его открытого источника и простоты. Я хотел бы помочь сделать его более профессиональным инструментом. В последние дни я использовал jedit также редактор с открытым исходным кодом. В этом меня привлекла особенн…
06 июн '14 в 04:53
1 ответ

Что означают цветовые коды в Isabelle/jEdit?

Что означают цветовые коды в Изабель /jEdit? Я не смог найти их описание в руководстве к Isabelle/jEdit. Единственное, что он пишет, это Обратная связь доказательств работает с помощью цветов, блоков, волнистого подчеркивания, гиперссылок, всплывающ…
25 мар '14 в 12:55
1 ответ

Что-то меняет, сколько ключей читается в Jedit

Иногда что-то происходит в Jedit (наверное, я нажимаю какую-то последовательность клавиш, которая переводит меня в какой-то другой режим), и нажимаемые мной клавиши отображаются в виде всяких странных символов. Я не знаю, как исправить поведение; за…
13 янв '14 в 23:44
1 ответ

Как сделать пробелы, новые строки и вкладки видимыми в jedit

Я работаю с Jedit, и я хочу знать, как я могу сделать пробелы, вкладки и новые строки видимыми в Jedit. До сих пор я создал кнопку переключения для того же. Но не понимаю, какой файл мне следует изменить.
08 окт '14 в 22:52
1 ответ

JEdit плагин лучшие практики

Какой плагин может быть примером лучшего плагина jEdit? С точки зрения кода, использование тестов. Я сделал плагин Markdown и хочу обновить его. Этот плагин не имеет никаких тестов и использует синглтон. Какой плагин я могу использовать в качестве п…
17 фев '14 в 16:53
1 ответ

Как настроить jEdit для выбора $ вместе с именем переменной

Как мне настроить jEdit, чтобы он выбирал знак доллара как часть имени переменной при выборе слова в режиме php?
26 фев '09 в 10:00
3 ответа

Поведение клавиатуры jEdit Mac OS

В любом случае, элементы управления клавиатуры jEdits ведут себя так же, как и нативное приложение Mac OS? Под поведением я подразумеваю, что команда +left перемещает курсор в начало строки, alt+left - в начало текущего слова и т. Д.
19 фев '10 в 16:10
0 ответов

Код "обрезается" перед завершением в редакторе

Спасибо, что нашли время, чтобы прочитать мой вопрос. Я пытаюсь подключиться к своей базе данных, используя php, но мой код "обрезается", прежде чем я этого захочу. Как мне предотвратить это? Я очень плохо знаком с PHP и HTML, так что, скорее всего,…
27 янв '19 в 20:22
0 ответов

Соглашения о стиле кодирования в Изабель / Изаре

TL; DR: Существуют ли соглашения по кодированию для языка Изара? Нужно ли соблюдать стратегию сворачивания jEdit? Моя команда работает над формализацией математики, поэтому одной из наших основных целей является получение удобочитаемых доказательств…
16 фев '19 в 14:03
1 ответ

Используются ли xsymbols в Isabelle/JEdit?

В разделе 4.1.2 учебника Изабель /HOL мы находим По соглашению, режим "xsymbols" включается всякий раз, когда активен режим X-Symbol Proof General или выход LaTeX. Теперь, с исчезновением Proof General, есть ли какое-то отношение к xsymbols?
19 июн '14 в 09:05
3 ответа

Как добавить режим редактирования в jEdit?

В поисках облегченной среды разработки Scala я наткнулся на режим редактирования Scala для jEdit. Хотя я не знаю, как его использовать. Как поставить новый режим редактирования в jEdit?
09 янв '09 в 13:24
3 ответа

Как я могу создать проект netbeans 7.3, обертывающий исходный код jedit?

Я подумал, что это простой вопрос, потому что здесь уже есть вики-тема, особенно в этом разделе. однако вики устарела. Здесь, в Stackru, существует предыдущий вопрос, в котором есть только ссылки на эти устаревшие вики-темы. Вики NetBeans должны быт…
28 мар '13 в 23:18
2 ответа

Каждый раз, когда я открываю файл в текстовом редакторе jedit, появляется большое предупреждение о буфере

Я очень часто использую jEdit, чтобы открывать свои xml-файлы. Так получилось, что однажды я попытался открыть огромный файл (размером около 900 МБ, скажем, xyz.xml) с помощью jEdit, что не удалось. С тех пор каждый раз, когда я открываю любой файл …
27 фев '13 в 06:36
1 ответ

Что входит в UTF-8Y?

Я нашел эту кодировку в конфигурации текстового редактора. Что означает UTF-8Y и чем он отличается от UTF-8?
16 май '14 в 16:25
1 ответ

jEdit 5.4 Windows 7 Ошибка установки: думает, что сессия jEdit открыта, когда она не

Я использую jEdit 5.3 около 1,5 лет без особых проблем. На 2017-07-03 я использовал его, и он работал нормально. В 2017-07-04 он не запустится. jedit и javaw exe были созданы, но окно jEdit не отображалось. Я удалил версию 5.3 и попытался установить…
06 июл '17 в 14:14
1 ответ

Доступ к переменным jEdit из шаблона SuperAbbrevs

Интересно, есть ли способ получить доступ к переменным jEdit (например, к переменной буфера) из бобовой оболочки внутри шаблона плагина SuperAbbrevs. Когда я пытаюсь расширить следующий шаблон, ошибка Attempt to resolve method: getName() on undefine…
28 ноя '17 в 13:57
1 ответ

Использование jedit в качестве IDE

Какие шаги необходимы для настройки jEdit в качестве IDE? Я в основном хочу компилировать и отлаживать Java-программы. Существует так много плагинов Java. Я не уверен, какие из них лучше.
11 янв '11 в 04:34