EdOptionsMenu.dcl 210 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6
/*
 * EdOptionsMenu.dcl: the options menu
 */

definition module EdOptionsMenu

Diederik van Arkel's avatar
Diederik van Arkel committed
7 8
from StdPSt		import :: PSt
from EdCommon	import :: MyEditorState
Diederik van Arkel's avatar
Diederik van Arkel committed
9 10 11

openOptionsMenu :: !(PSt *MyEditorState) -> PSt *MyEditorState