/* Speaker Editor - DMS - feb 98 - by Sylvain HUET */ /* Rev. Aug. '98 - by Marc BARILLEY */ /* common interface */ fun save (filename, n)= ("zoneC"::"ButtonRec"::nil):: ("zoneC"::"ButtonPlay"::nil):: ("zoneC"::"Info"::nil):: ("action"::"start_server"::nil):: ("action"::"start_direct"::nil):: ("action"::"start_mute"::nil):: ("action"::"destroy"::"destroy"::nil):: ("event"::"entering"::"entering"::nil):: ("event"::"destroyed"::"destroyed"::nil):: ("event"::"silent"::nil):: nil;; fun IniEditor(s)= let startEditor _channel nil nil nil 315 0 WN_MENU EDITOR_NORMAL s "dms/sound/speaker/speaker.dmc" nil nil nil @save nil -> ed in if s==nil then nil else openDMI ed; 0;;