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

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

0 голосов
/ 09 октября 2018

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

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

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

1 Ответ

0 голосов
/ 09 октября 2018

Насколько я знаю, в 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)))))
...