definition module typeatt

// WindowAttributes for the Types window

from StdWindowDef import :: WindowAttribute
import StdPSt
from EdMonad import :: EditState
from IdeState import :: General

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

typeWinKeyboard :: .WindowAttribute *(EditState,*PSt *General);
typeWinMouse :: .WindowAttribute *(EditState,*PSt *General);