1
나는 이맥스로 Coq를 연구 중이다. 나는 이맥 창을 수직으로 쏟았고, 왼쪽은 문서이고 오른쪽은 코드 편집 영역이다. Coq 프로그램을 해석하면 결과가 왼쪽 창에 표시되고 문서를 덮습니다. 이것은 나를 괴롭힌다. 코드 편집 영역을 가로로 나눌 수있는 방법과 해석 한 결과가 오른쪽 하단에 표시되는지 여부Coq를 해석 할 때 창을 나누기 위해 이맥스를 제어하는 방법
A
답변
1
"코드 편집 영역"이란 "목표 버퍼"를 의미합니까? 그렇다면 기본 설정을 사용하여 어떤 일이 일어날 지 같은 소리로 설명합니다. 모든 설정을 재설정하고 "세 창 모드"를 사용하고 proof-layout-windows이 "스마트"또는 "하이브리드"로 설정되어 있는지 확인하십시오.
0
3 Windows 모드를 실행 한 후에는 교정 일반에 방해받지 않고 수동으로 레이아웃을 사용자 정의 할 수 있습니다.
C-x 5 2가 여러 디스플레이에서 작업하는 경우 매우 유용 새로운 프레임 (창 컨테이너를) 작성 : 여기 은 도움이 될 몇 가지 바로 가기입니다.C-x 2는
C-x 3은 (:vsplit유사)
:split로) 새로운 윈도우를 생성