EdKeyboard.dcl 636 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
/*
 * EdKeyboard.dcl: handling keyboard events
 */

definition module EdKeyboard

7
8
9
10
from StdIOCommon	import :: KeyboardState
from StdPSt			import :: PSt
//from EdState		import EditorState
from EdKeyMapping	import :: KeyMapping
Diederik van Arkel's avatar
Diederik van Arkel committed
11
12
13
14
15
16
17
18
19
20
import EdMonad, StdMaybe
import EdCommon

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