/* ToComutron Editor - DMS - march 98 - by Sylvain HUET */ /* Rev. Aug. '98 - by Marc BARILLEY */ /* Rev. Jul. '99 - by Marc BARILLEY */ fun save (filename, n)= ("action"::"start"::"start"::nil):: ("actionC"::"toComutron"::nil):: ("eventC"::"privateInfo"::"privateInfo"::nil):: nil;; fun IniEditor (filename )= let startEditor _channel nil nil nil 315 0 WN_NORMAL-WN_SIZEBOX EDITOR_NORMAL filename "Dms/CommTools/ToComutron/tocom.dmc" nil nil nil @save nil -> ed in if filename==nil then nil else openDMI ed; 0;;