Текстовый редактор

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

Редактор предназначен для создания и коррекции интерпретационных текстов. Редактор имеет функцию проверки правильности разметки текста, что позволяет облегчить подготовку текстов со сложной разметкой. В режиме проверки одной формулы типа "универсальная интерпретация", кроме проверки синтаксиса, выполняется также проверка её реализации для текущей карты.

Редактор содержит поле просмотра и редактирования текста и поле сообщений об ошибках.

Функциональные кнопки:

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

В заголовке окна отображается имя файла редактируемого текста, номер текущей отображаемой страницы и первая строка разметки.

Левая полоса прокрутки - для просмотра текущей страницы, правая - для выбора страницы.

При выборе из меню Библиотеки другого текста для проверки, закрывать открытое окно редактора не обязательно.

Поделиться в соц. сетях