projmen.dcl 558 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
16
17
18
19
20

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

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

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

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

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

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