clipboard.dcl 616 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6 7 8 9 10 11 12 13
definition module clipboard

// Clipboard window handling

import StdId, StdPSt, StdMenuDef
import EdState

:: ClipInfo

class Clipper env where
	getClipInfo		:: !*env -> *(!ClipInfo,!*env)
	setClipInfo		:: !ClipInfo !*env -> *env

Diederik van Arkel's avatar
Diederik van Arkel committed
14
instance Clipper (PSt *l) | Clipper l
Diederik van Arkel's avatar
Diederik van Arkel committed
15 16 17 18

isClipboardWindow	:: !Id !*env -> (Bool,*env) | Clipper env

initClipInfo		:: Id [Id] *env -> *(ClipInfo,*env) | Ids env
Diederik van Arkel's avatar
Diederik van Arkel committed
19 20
clipMenuItems		:: !Id !Id !ClipInfo -> .MenuItem .c *(PSt *l) | Clipper , Editor l
cw_maybe_close		:: !Id !*(PSt *l) -> (Bool,*PSt *l) | Clipper, Editor l
Diederik van Arkel's avatar
Diederik van Arkel committed
21 22 23 24 25

// avoid compiler warnings...

:: ClipState`
instance == ClipState`