Comment contrôler emacs pour fractionner la fenêtre lors de l'interprétation Coq

Question

J'étudie Coq avec emacs. J'ai renversé la fenêtre d'emacs verticalement, la gauche est le document et la droite est la zone d'édition de code. lorsque j'interprète le programme Coq, le résultat s'affiche dans la fenêtre de gauche et couvre le document. Cela me dérange. Est-il possible de diviser la zone d'édition de code de manière horizontale et le résultat interprété est affiché en bas à droite?

Answer 1

Par "zone d'édition de code", voulez-vous dire "but buffer"? Si oui, ce que vous décrivez ressemble à ce qui se passerait en utilisant les paramètres par défaut. Essayez de réinitialiser tous les paramètres et assurez-vous que vous utilisez le mode «trois volets» et proof-layout-windows est réglé sur «intelligent» ou «hybride».

Answer 2

Après vous invoquez le mode 3 Windows, vous pouvez personnaliser sa mise en page manuellement sans être dérangé par Proof General.

Voici quelques raccourcis qui pourraient aider:

• C-x 5 2 crée un nouveau cadre (conteneur de fenêtres), ce qui est très utile si vous travaillez sur plusieurs écrans.
• C-x 2 crée une nouvelle fenêtre ci-dessous (semblable à :split dans VIM)
• C-x 3 crée une nouvelle fenêtre à droite (similaire à :vsplit)