1

我正在用 emacs 研究 Coq。我把emacs窗口垂直溢出了，左边是文档，右边是代码编辑区。当我解释 Coq 程序时，结果将显示在左侧窗口中并覆盖文档。这让我很困扰。是否有这样一种方法可以将代码编辑区域水平分割，并且解释结果显示在右下角？

4

2 回答 2

1

“代码编辑区”是指“目标缓冲区”吗？如果是这样，您所描述的听起来就像使用默认设置会发生什么。尝试重置所有设置并确保您使用的是“三窗格模式”并且proof-layout-windows设置为“智能”或“混合”。

于 2017-09-17T21:02:16.037 回答
0

调用 3 Windows 模式后，您可以手动自定义其布局，而不会受到 Proof General 的干扰。

以下是一些可能有帮助的快捷方式：

  • C-x 5 2创建一个新框架（窗口容器），如果您在多个显示器上工作，这非常有用。
  • C-x 2在下面创建一个新窗口（类似于:split在 Vim 中）
  • C-x 3在右侧创建一个新窗口（类似于:vsplit）
于 2017-09-19T16:48:09.020 回答