Как настроить цвета для Command и Tactic в ProofGeneral при использовании Coq в Emacs?

Я хочу раскрасить какую-то конкретную команду и тактику в другой цвет, например, я хочу, чтобы команды "Печать" и "Найти" были серыми, а "индукция" - каким-то особым цветом, отличным от других тактик.

Возможно ли это в ProofGeneral? Если это не настраивается в ProofGeneral, то возможно ли настроить его с помощью какого-либо механизма Emacs?

PS: я проверил руководство ProofGeneral, но не могу найти никакой связанной опции.

Источник

1 ответ

Насколько я знаю, это не возможно в ProofGeneral. Тем не менее, вы можете настроить цвет ключевых слов, изменив их face в Emacs. Для этого наведите курсор на слово, которое вы хотите изменить, а затем нажмите M-x и введите customize-face, который приведет вас к окну настройки.

Чтобы добавить ключевые слова в вспомогательный режим ProofGeneral, вам может понадобиться посмотреть https://www.gnu.org/software/emacs/manual/html_node/elisp/Customizing-Keywords.html

Это добавляет induction ключевое слово с предупреждающим шрифтом

(add-hook 'coq-mode-hook
  (lambda ()
    (font-lock-add-keywords nil
      '(("\\<\\(induction\\):" 1 font-lock-warning-face prepend)))))
Источник
Другие вопросы по тегам