-- TerminalIOPackage.config -- last modified by Ch. Jacobi August 25, 1983 9:29 am TerminalIOPackage: CONFIGURATION IMPORTS ColorWorld, Commander, Cursors, EditedStream, Graphics, Icons, InputFocus, Interminal, IO, Process, Rope, RuntimeError, Terminal, TerminalExtras, TIPUser, UserProfile, VFonts, ViewerIO, ViewerLocks, ViewerOps, ViewerTools EXPORTS TerminalIO, PopUpMenu CONTROL TerminalIOImpl, PopUpMenuImpl = BEGIN TerminalIOImpl; PopUpMenuImpl; END.