projmen.dcl 627 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6 7
definition module projmen

// The Project menu...

import StdReceiver
import PmProject, IdeState

8
ProjListMenu :: Id Id (R2Id PLMMessage PLMReply) -> NewLS (:+: RadioMenu (Receiver2 PLMMessage PLMReply)) .a *(PSt *General)
Diederik van Arkel's avatar
Diederik van Arkel committed
9 10 11 12 13 14 15

pm_menu_add :: .Pathname !*(PSt *General) -> *PSt *General;

pm_menu_rem :: !*(PSt *General) -> *PSt *General;

pm_new :: !*(PSt *General) -> *PSt *General;

16 17
pm_new_project_using_template :: !*(PSt *General) -> *PSt *General;

Diederik van Arkel's avatar
Diederik van Arkel committed
18 19 20 21 22
pm_open :: !*(PSt *General) -> *PSt *General;

pm_open_path :: !.String !*(PSt *General) -> *PSt *General;

pm_switch :: !.Pathname !*(PSt *General) -> (!Bool,!*PSt *General);