typeatt.icl 957 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
7
implementation module typeatt

import StdWindow
import IdeState
import EdKeyboard, EdMouse
//--

8
9
10
11
12
update_type_window :: !Bool !String ![String] !*(PSt *General) -> *PSt *General
update_type_window interact name message ps
	# atts = [typeWinKeyboard,typeWinMouse]
	= updateTypeWindow interact name atts message ps	// fun to update type info in type window, text :: !Text

Diederik van Arkel's avatar
Diederik van Arkel committed
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
typeWinKeyboard :: .WindowAttribute *(EditState,*PSt *General);
typeWinKeyboard = WindowKeyboard	(\_ -> True) Able typeKeyboard

typeWinMouse :: .WindowAttribute *(EditState,*PSt *General);
typeWinMouse = WindowMouse noMouseMoved Able editWindowMouse

//typeWinMouse = WindowMouse noMouseMoved Able (editWindowMouse newTree) // P4
//import searchtree	// P4

typeKeyboard :: .KeyboardState *(EditState,*PSt *General) -> *(EditState,*PSt *General);
typeKeyboard ks (es,ps)
	# (ed,ps)				= getEditorState ps
	# keyMapping			= getKeyMapping ed
	= noeditWindowKeyboard keyMapping ks (es,ps)