Как управлять Emacs для разделения окна при интерпретации Coq

Question

Как управлять Emacs для разделения окна при интерпретации Coq

Я изучаю Coq с Emacs. Я пролил окно emacs вертикально, слева - документ, а справа - область редактирования кода. когда я интерпретирую программу Coq, результат отобразится в левом окне и покроет документ. Это беспокоит меня. Есть ли такой способ, которым я могу разделить область редактирования кода по горизонтали и интерпретируемый результат показан внизу справа?

1

emacs coq proof-general

Источник

user7004771 17 сен '17 в 14:21

2 ответа

Другие вопросы по тегам emacs coq proof-general

user4771 17 сен '17 в 21:02 2017-09-17 21:02 · Answer 1 · 2017-09-17 21:02

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

user8408178 19 сен '17 в 16:48 2017-09-19 16:48 · Answer 2 · 2017-09-19 16:48

После запуска режима 3 Windows вы можете настроить его макет вручную, не мешая Proof General.

Вот несколько ярлыков, которые могут помочь:

C-x 5 2 создает новый фрейм (контейнер с окнами), что весьма полезно, если вы работаете на нескольких дисплеях.
C-x 2 создает новое окно ниже (аналогично :split в Vim)
C-x 3 создает новое окно справа (аналогично :vsplit)