파일 메뉴

이 메뉴를 사용하면 Workbench 자원의 작성, 저장, 닫기, 인쇄, 가져오기 및 내보내기를 수행하고 Workbench 자체를 종료할 수 있습니다.

테스트/TPTP 수동 테스트

이 명령은 새 자원을 작성합니다.

파일 열기

이 명령을 사용하면 텍스트 편집기에서 작업공간에 없는 파일은 열 수 있습니다.

닫기

이 명령은 활성 편집기를 닫습니다.

모두 닫기

이 명령은 열려 있는 모든 편집기를 닫습니다.

저장

이 명령은 활성 편집기의 컨텐츠를 저장합니다.

다른 이름으로 저장

이 명령으로 활성 편집기의 컨텐츠를 다른 파일 이름이나 위치에 저장할 수 있습니다.

모두 저장

이 명령은 열려 있는 모든 편집기의 컨텐츠를 저장합니다.

되돌리기

이 명령은 활성 편집기의 컨텐츠를 이전에 저장한 컨텐츠로 바꿉니다.

이동

이 명령은 현재 선택한 자원을 다른 위치로 이동합니다.

이름 바꾸기

이 명령은 현재 선택한 자원의 이름을 변경합니다.

새로 고치기

이 명령은 파일 시스템의 컨텐츠로 자원을 새로 고칩니다.

행 분리문자 변환

이 명령은 활성 파트의 지정된 파일에 대한 행 분리문자를 변경합니다.

인쇄

이 명령은 활성 편집기의 컨텐츠를 인쇄합니다.

작업공간 전환

이 명령을 사용하면 다른 작업공간으로 전환할 수 있습니다. 전환 시 Workbench가 다시 시작됩니다.

가져오기

이 옵션은 가져오기 마법사를 실행하여 Workbench에 자원을 추가할 수 있도록 합니다.

내보내기

이 옵션은 내보내기 마법사를 실행하여 Workbench에서 자원을 내보낼 수 있도록 합니다.

특성

이 명령은 현재 선택한 자원의 특성 대화 상자를 엽니다.

최근 파일 목록

Workbench에서 가장 최근에 액세스한 파일의 목록이 파일 메뉴 맨 아래에 유지보수됩니다.  이런 파일은 파일 메뉴에서 간단히 파일 이름을 선택하여 열 수 있습니다.

종료

이 명령은 Workbench를 닫고 종료합니다.