typeatt.dcl

definition module typeatt

// WindowAttributes for the Types window

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

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