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??? →

27.06.2012 · 37 камментов · рейтинг 9.72
15.02.2013 · 24 каммента · рейтинг 8.17
06.03.2008 · 29 камментов · рейтинг 6.9
30.01.2013 · 13 камментов · рейтинг 5.99
19.01.2008 · 20 камментов · рейтинг 5.7

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

26.03.2020  ДенисВывод месяца в родительном падеже (PHP, форматирование даты, strftime): Вставил этот код в файл .php, но ничего не отображ...
11.03.2020  Aleksey FilonovРеклама паблика вконтакте, промежуточный итог - CTR, охват, подписки: Привет, Я видел ваш сайт, и есть несколько услуг, ...
10.03.2020  Igor Ryabovтам же: Привет, Я видел ваш сайт, и есть несколько услуг, ...
28.02.2020  irmaseo.ruОбъемы трафика с новостных агрегаторов Рунета: Очень интересная статья
10.12.2019  45I0XSN www.yandex.ruтам же: 45I0XSN www.yandex.ru

Статсы