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

3
4
5
6
7
8
// handling keyboard events

import	EdCommon, StdMaybe
from	StdIOCommon		import :: KeyboardState
from	StdPSt			import :: PSt
from	EdKeyMapping	import :: KeyMapping
Diederik van Arkel's avatar
Diederik van Arkel committed
9
10
11
12
13
14
15
16

editWindowKeyboard ::
	KeyMapping KeyboardState !(!EditState, !PSt PLocState) -> (!EditState, !PSt PLocState)
// editWindowKeyboard: the keyboard handling function for edit windows

noeditWindowKeyboard ::
	KeyMapping KeyboardState (!EditState, !PSt PLocState) -> (!EditState, !PSt PLocState)
// noeditWindowKeyboard: keyboard handling fun for read-only editor windows