/* Goban Editor - DMS - feb 98 - by Sylvain HUET */ /* Rev. Aug. '98 - by Marc BARILLEY */ fun save (filename, n)= ("action"::"start"::"start"::nil):: ("action"::"destroy"::"destroy"::nil):: ("eventC"::"select"::"select"::nil):: ("event"::"entering"::"entering"::nil):: ("event"::"destroyed"::"destroyed"::nil):: ("zoneC"::"Boards"::nil):: nil;; fun IniEditor(s)= let startEditor _channel nil nil nil 315 0 WN_NORMAL EDITOR_NORMAL s "dms/games/goban/goban.dmc" nil nil nil @save nil -> ed in if s==nil then nil else openDMI ed; 0;;