/*RealPlayer Module - DMS - April 99 - by Vincent BEAUDENON */ fun save (filename, n)= ("actionC"::"stop"::"stop"::nil):: ("actionC"::"play"::"play"::nil):: ("actionC"::"pause"::"pause"::nil):: /*("actionC"::"seek"::"seek"::nil)::*/ ("actionC"::"low"::"low"::nil):: ("actionC"::"mute"::"mute"::nil):: ("action"::"start"::"start"::nil):: ("action"::"stopAll"::"stopAll"::nil):: ("action"::"playAll"::"playAll"::nil):: ("zoneC"::"interfaceC"::nil)::nil;; fun IniEditor(s)= let startEditor _channel nil nil nil 315 0 WN_MENU EDITOR_NORMAL s "dms/media/realplayer/realplayer.dmc" nil nil nil @save nil -> ed in ( if s==nil then nil else openDMI ed ); 0;;