definition module EdProjectMenu;

/*	The commands of the Project menu */

import EdProgramState;    

NewProject :: !ProgState !IO -> ProgIO;

OpenProject :: !ProgState !IO -> ProgIO;
OpenProjectFileIfNoProjectSet :: !String !ProgState !IO -> ProgIO;
OpenFileOrProjectFile :: !String !ProgState !IO -> ProgIO;
SetProject :: !ProgState !IO -> ProgIO;

CloseProject :: !ProgState !IO -> ProgIO;