/* Button Editor - DMS - Mar 98 - by Sylvain HUET */
/* Rev. Aug. '98 - by Marc BARILLEY */

fun save (filename, n)=
  ("action"::"start"::"start"::nil)::
  ("action"::"destroy"::"destroy"::nil)::
  ("event"::"clickS"::nil)::
  ("eventC"::"click"::nil)::
  ("event"::"entering"::"entering"::nil)::
  ("event"::"destroyed"::"destroyed"::nil)::
  ("zone"::"ButtonS"::nil)::
  ("zoneC"::"Button"::nil)::
  nil;;

fun IniEditor(s)=
  let startEditor
      _channel nil 0 0 315 0 WN_NORMAL EDITOR_NORMAL
      s "dms/interf/button/button.dmc" nil nil
      nil @save nil
  -> ed in
  if s==nil then nil else openDMI ed;
0;;