typeatt.dcl 399 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4
definition module typeatt

// WindowAttributes for the Types window

5
from StdWindowDef import :: WindowAttribute
Diederik van Arkel's avatar
Diederik van Arkel committed
6
import StdPSt
7 8
from EdMonad import :: EditState
from IdeState import :: General
Diederik van Arkel's avatar
Diederik van Arkel committed
9

10 11
update_type_window :: !Bool !String ![String] !*(PSt *General) -> *PSt *General

Diederik van Arkel's avatar
Diederik van Arkel committed
12 13
typeWinKeyboard :: .WindowAttribute *(EditState,*PSt *General);
typeWinMouse :: .WindowAttribute *(EditState,*PSt *General);