私はemacsでCoqを勉強しています。私はemacsウィンドウを縦に吐き出し、左はドキュメントで、右はコード編集エリアです。 Coqプログラムを解釈すると、結果は左側のウィンドウに表示され、文書をカバーします。これは私を悩ます。 コード編集領域を水平に分割して解釈結果が右下に表示されるような方法はありますか?Coqを解釈するときにemacsを分割する方法を制御する
1
A
答えて
1
「コード編集領域」とは、「目標バッファ」を意味しますか?そうであれば、デフォルトの設定を使用して何が起こるかのように、あなたの言うことが聞こえます。すべての設定をリセットして、 "3ペインモード"を使用し、proof-layout-windowsが "スマート"または "ハイブリッド"に設定されていることを確認してください。
0
3 Windowsモードを起動すると、Proof Generalに妨げられることなく手動でレイアウトをカスタマイズできます。ここで
は役立つかもしれないいくつかのショートカットです:
C-x 5 2
を使用すると、複数のディスプレイ上で作業している場合は非常に便利である新しいフレーム(ウィンドウのコンテナ)を作成します。C-x 2
(Vimの中:split
と同様)以下新しいウィンドウC-x 3
は(:vsplit
と同様に)右側に新しいウィンドウを作成し、作成し
関連する問題
- 1. 有界ソース分割を制御する方法は?
- 2. 制御文字で分割する
- 3. spring @transactionalを制御する方法注釈の優先順位?
- 4. 線分を制御する
- 5. Progress 4GLでASCII制御コードで入力を分割する方法は?
- 6. ExtJs内の分割ストリップの幅を制御する
- 7. 制御分割精度
- 8. BarChartのY軸の値の増分を制御する方法
- 9. OnResume()でイベントを制御するかどうかを制御する方法は?
- 10. MDIアプリケーションによって開かれたファイルの順序を解釈したり、制御する方法は?
- 11. スカラースイングリスナーを制御する方法
- 12. メディアボリュームを制御する方法は?
- 13. モデルバインディングを制御する方法は?
- 14. AlertDialogを制御する方法
- 15. ビットレートを制御する方法MEDIASUBTYPE_H264 directshow?
- 16. QListWidgetでスクロールバーを制御する方法
- 17. ルーティング値を制御する方法
- 18. ブートストラップテーブルのボタンアクションを制御する方法
- 19. バックグラウンドプロセス/デーモンを制御する方法
- 20. ホバーでdivを制御する方法:
- 21. UITabBarを制御する方法
- 22. リストビューのフレンドアクションを制御する方法
- 23. Android:onSensorChangeサンプリングレートを制御する方法
- 24. レディアニメーションを制御する方法は?
- 25. ラジオボタングループを制御する方法は?
- 26. cycle2を制御する方法は?
- 27. IDOCを読み取るときにトランザクション(コミット/ロールバック)を制御する方法
- 28. トラックパッドピンチジェスチャーを解釈する方法IKImageBrowserView
- 29. si_statusの値を解釈する方法
- 30. ASP.NET MVCで部分ビューの条件付き表示を制御する方法