Wie man Emacs steuert, um Fenster zu teilen, wenn Coq zu interpretieren

Question

Ich studiere Coq mit Emacs. Ich habe das Emacs-Fenster vertikal verschüttet, das linke ist das Dokument und das rechte ist der Code-Bearbeitungsbereich. Wenn ich Coq-Programm interpretiere, wird das Ergebnis im linken Fenster angezeigt und das Dokument abgedeckt. Das stört mich. Ob es so ist, dass ich den Code-Bearbeitungsbereich horizontal teilen kann und das interpretierte Ergebnis unten rechts angezeigt wird?

Answer 1

Mit "Code-Bearbeitungsbereich" meinst du den "Zielpuffer"? Wenn dies der Fall ist, klingt das, was Sie beschreiben, so, als ob Sie die Standardeinstellungen verwenden würden. Versuchen Sie, alle Einstellungen zurückzusetzen und stellen Sie sicher, dass Sie den "3-Fenster-Modus" verwenden und proof-layout-windows auf "Smart" oder "Hybrid" eingestellt ist.

Answer 2

Nach rufen Sie den 3 Windows-Modus auf, Sie können das Layout manuell anpassen, ohne von Proof General gestört zu werden.

Hier sind einige Abkürzungen, die helfen könnten:

• C-x 5 2 schafft einen neuen Rahmen (Container von Fenstern), die sehr nützlich ist, wenn Sie auf mehreren Displays arbeiten.
• C-x 2 erstellt ein neues Fenster unten (ähnlich :split in Vim)
• C-x 3 auf der rechten Seite (ähnlich :vsplit)

ein neues Fenster erstellt