flexwin.dcl 623 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
definition module flexwin

Diederik van Arkel's avatar
Diederik van Arkel committed
3
import StdWindow
Diederik van Arkel's avatar
Diederik van Arkel committed
4
5
6
7
8
9

class content_size c :: FontMetrics c -> Int

::FlexBarState s
::	FlexBarWindow s ls pst
	= FlexBarWindow Title [(String, Maybe Int)] s
Diederik van Arkel's avatar
Diederik van Arkel committed
10
		(s .Int .Int [.Int] -> (.SelectState .UpdateState -> .(*Picture -> *Picture)))
Diederik van Arkel's avatar
Diederik van Arkel committed
11
12
13
14
15
		![(FlexBarState s) -> FlexBarState s]
		(R2Id (MessageIn s) (MessageOut s)) [WindowAttribute *(ls,pst)]

:: MessageIn s
	= FW_DummyIn
Diederik van Arkel's avatar
Diederik van Arkel committed
16
	| FW_SetContent s
Diederik van Arkel's avatar
Diederik van Arkel committed
17
18
19
20
21
22
23
24
25
26
27
28
	| FW_ApplyFunction Int
	| FW_GetContent

:: MessageOut s
	= FW_DummyOut
	| FW_ContentOut s

instance Windows (FlexBarWindow s) | content_size s

//--

appInfo :: (s->s) !(FlexBarState s) -> FlexBarState s