Текстовый редактор
Текстовый редактор открывается из контекстного меню
библиотеки текстов:

Редактор предназначен для создания и коррекции интерпретационных текстов.
Редактор имеет функцию проверки правильности разметки текста, что позволяет
облегчить подготовку текстов со сложной разметкой. В режиме проверки одной формулы
типа "универсальная интерпретация", кроме проверки синтаксиса,
выполняется также проверка её реализации для текущей карты.
Редактор содержит поле просмотра и редактирования текста и поле сообщений об ошибках.
Функциональные кнопки:
Проверить - проверить правильность разметки всех страниц (цитат) данной книги.
Результат проверки отображается справа от кнопки "Закрыть": OK, если ошибок нет, или
ERROR, если обнаружена ошибка. В последнем случае просмотр текста прекращается
и открывается страница, содержащая найденную ошибку, а в нижнем поле окна
появляется диагостическое сообщение об этой ошибке. Действия пользователя:
исправить ошибку редактированием разметки в этом окне, а затем нажать "Сохранить"
и "Проверить" для продолжения проверки.
Остановить - кнопка становится видимой после нажатия кнопки "Проверить"
и предназначена для прекращения проверки в случае необходимости (некоторые тексты
могут потребовать значительного времени для проверки).
<<< ? >>> - проверить синтаксис формулы разметки текущей страницы
и её реализацию для текущей карты.
Также выдаётся сообщение OK или ERROR о результате проверки
синтаксиса. Если OK и тип (тема) данной книги "Универсальная интерпретация",
то выдаётся также результат реализации данной формулы:
YES или NO. Если ERROR, то выдаётся диагностическое сообщение.
Сохранить - сохранить выполненные изменения текущей страницы.
Отменить - отменить ссделанные изменения.
Закрыть - закрыть окно редактора теста.
В заголовке окна отображается имя файла редактируемого текста, номер текущей
отображаемой страницы и первая строка разметки.
Левая полоса прокрутки - для просмотра текущей страницы, правая - для выбора страницы.
При выборе из меню Библиотеки другого текста для проверки, закрывать открытое
окно редактора не обязательно.