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

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

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

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


emacs coq coqide proof-general coq-plugin
person luochen1990    schedule 09.10.2018    source источник

Ответы (1)


arrow_upward
1
arrow_downward

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