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);