Dubrowsky
Хроники одного дупла
Блогово  →  WebDev  → 

Проблемы с escape двойных кавычек в jEdit в режиме PHP

05 Июня 2007 года

В замечательном редакторе jEdit версии 4.3pre9 есть досадная бага. При подсветке PHP-кода не срабатывает escape двойной кавычки, т.е. последовательность

echo "Highlight string with \"escaped\" double quotes";

ломает нафиг всю подсветку. Когда правишь большие файлы, где HTML-код и PHP-код составляют нечитаемую кашу (как часто бывает), проблемы с подсветкой сильно портят и без того несладкую жизнь. К счастью, решить проблему достаточно просто. 1. Качаем вот отсюда файл подсветки 2. Заменяем им файл C:\Program Files\jEdit\modes\php.xml (или где там он у вас хранится) 3. Закрываем jEdit. Еще можно в task manager остановить процесс javaw 4. Включаем jEdit, радуемся жизни :)

Камменты

Amigo06.06.2007, 06:54#
Коля, внизу код вылез...
кстати, какой плагин для openid поставил?
Николай Дубровскийон самый16.06.2007, 01:11#
Артем, привет!
Спасибо за баг-репорт, видимо я убег пиво пить, чего-то недокодив, да и забыл :)
OpenID для Wordpress - вроде работает ;)
Amigo16.06.2007, 09:53#
OpenID - классная штука, но я еее как н6ачал ставить, так такая каша получилась в блоге. пришлось снести и оставить все как было. думаю во время глобальной модернизации прикручу все-таки

Написать коммент: памятка постеру

 

Крутые посты wtf??? →

15.02.2013 · 24 каммента · рейтинг 9.02
23.01.2013 · 21 каммент · рейтинг 8.39
06.03.2008 · 29 камментов · рейтинг 7.3
29.08.2007 · 28 камментов · рейтинг 7
28.03.2008 · 24 каммента · рейтинг 6.66

Последне камменты

22.11.2018  ВиталийНастроить цели в Яндекс.Метрике - простой способ: я код счетчика вынес в отдельную переменную var...
27.10.2018  mix64Новый Яндекс.Браузер - браузер "Yandex" (отзыв / обзор): Как не крути но все разработчики браузеров будто с...
24.09.2018  СаняТестовое задание для PHP-программиста (Junior): Хороший пример) А можно ради разнообразия аналогич...
31.07.2018  ДубрНаконец-то, нормальная работа с LESS в NetBeans: Sergio, вообще NetBeans кажется предлагал компилит...
18.07.2018  яндекс диск моя страницаНовый Яндекс.Браузер - браузер "Yandex" (отзыв / обзор): всем рекомендую

Статсы