Как переключить автоматическое обновление в Изабель с помощью сочетания клавиш?

Question

Я хотел помешать Изабель выполнять шаги доказательства, когда я пишу, поскольку невозможно запомнить сложные уравнения, поскольку я пытаюсь объяснить это с помощью rule_ta c, каким должен быть этот термин, пока он исчезает.

есть сочетание клавиш с Изабель для автоматического обновления?

Answer 1

Действие называется «Обновить состояние вывода» в разделе привязки клавиш (меню «Плагин»> «Плагин», вкладка «Глобальные параметры», jEdit> «Назначение клавиш» на панели слева) и по умолчанию привязано к S-ENTER.

Снимите флажок «Автообновление» и нажмите Shift-Enter, чтобы обновить панель состояния.