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 камментов · рейтинг 11.37
15.02.2013 · 24 каммента · рейтинг 9.72
23.01.2013 · 20 камментов · рейтинг 8.82
06.03.2008 · 29 камментов · рейтинг 7.59
30.01.2013 · 13 камментов · рейтинг 7.13

Поисковый спам

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

16.02.2018  CrazyMiheyКак изменить оболочку (shell) по умолчанию для пользователя Linux: Ну и сколько Страждущих ломанулись подбирать Парол...
28.01.2018  Привет Ера Связь: 04acw1pf8fwgmqhpfp22t6398o4zszhe3x9lj7luwizkodzt7...
26.01.2018  JasonСвязной.Банк закрыл возможность пополнения WebMoney: Hello Здравствуйте. Сервис продвижения в социальны...
24.01.2018  Annaтам же: Hi Здравствуйте. Сервис продвижения в социальных с...
14.12.2017  БраузерНовый Яндекс.Браузер - браузер "Yandex" (отзыв / обзор): Я предпочитаю использовать яндекс браузер

Статсы