Невозможно правильно редактировать символы Юникода в eXide
Я пытаюсь редактировать следующий XML в редакторе eXide
<root>
హరి ర్హరతి-హరిః+హరతి, పాపాని, దుష్టచిత్తై రపి-దుష్టచిత్తైః+అపి, స్మృతః,
అనిచ్ఛయాపి-అనిచ్ఛయా+అపి, సంస్పృష్టో- సంస్పృష్టః,దహత్యేవ-దహతి+ఏవ,హి,పావకః,
స-సః, గంగా, స-సః, గయా, సేతుః, స-సః, కాశీ, స-సః, చ, పుష్కరమ్,
జిహ్వాగ్రే, వర్తతే, యస్య, హరి రిత్యక్షర ద్వయమ్-హరిః+ఇతి+అక్షరద్వయమ్,
</root>
Если я нажимаю клавишу Del, буква в курсоре не удаляется, но удаляется другой символ. Поддерживает ли eXide символы юникода и соответствующие шрифты содержимого. Есть ли обходной путь, кроме редактирования XML-файлов в другом редакторе и загрузки их в eXist каждый раз, когда необходимо внести изменения.
Спасибо
Sony
1 ответ
Краткий ответ: нет, это невозможно сейчас (существует 3.1).
длинный ответ: если вы найдете способ переопределить выбор шрифта eXides, который обрабатывается ACE, и используете механизм замены шрифтов, встроенный в браузеры или ОС, вы сможете редактировать xml в eXide.