/* Daily Diff Editor - DMS - Jan 00 - by Sylvain HUET */ fun save (s,n)= ("action"::"in"::nil):: ("action"::"inparam"::nil):: ("event"::"out"::nil):: ("event"::"start"::nil):: nil;; fun IniEditor (filename)= let startEditor _channel nil nil nil 315 0 WN_NORMAL EDITOR_NORMAL filename "dms/admin/dailydiff/dailydiff.dmc" nil nil nil @save nil -> ed in if filename==nil then nil else openDMI ed; 0;;