fun save (filename, n)=
  ("action"::"show"::"show"::nil)::
  ("action"::"destroy"::"destroy"::nil)::
  ("action"::"!changeLogin"::"changeLogin"::nil)::
  ("color"::"0"::nil)::
  nil;;

fun IniEditor(filename)=
  let startEditor
      _channel nil nil nil 315 0 WN_NORMAL-WN_SIZEBOX EDITOR_NORMAL
      filename "dms/games/quotientScolien/sq.dmc" nil nil
      nil @save nil
  -> ed in
  if filename==nil then nil else openDMI ed;
0;;