Coqを解釈するときにemacsを分割する方法を制御する

私はemacsでCoqを勉強しています。私はemacsウィンドウを縦に吐き出し、左はドキュメントで、右はコード編集エリアです。 Coqプログラムを解釈すると、結果は左側のウィンドウに表示され、文書をカバーします。これは私を悩ます。コード編集領域を水平に分割して解釈結果が右下に表示されるような方法はありますか？Coqを解釈するときにemacsを分割する方法を制御する

出典

2017-09-17 金琪琦

「コード編集領域」とは、「目標バッファ」を意味しますか？そうであれば、デフォルトの設定を使用して何が起こるかのように、あなたの言うことが聞こえます。すべての設定をリセットして、 "3ペインモード"を使用し、proof-layout-windowsが "スマート"または "ハイブリッド"に設定されていることを確認してください。

出典

2017-09-17 21:02:16 cic

3 Windowsモードを起動すると、Proof Generalに妨げられることなく手動でレイアウトをカスタマイズできます。ここで

は役立つかもしれないいくつかのショートカットです：

C-x 5 2を使用すると、複数のディスプレイ上で作業している場合は非常に便利である新しいフレーム（ウィンドウのコンテナ）を作成します。
C-x 2（Vimの中:splitと同様）以下新しいウィンドウ
C-x 3は（:vsplitと同様に）右側に新しいウィンドウを作成し、作成し

出典

2017-09-19 16:48:09

Coqを解釈するときにemacsを分割する方法を制御する

答えて

関連する問題