/* Exclusion Editor - DMS - feb 98 - by Sylvain HUET */ /* Rev. 1.2 - Sep. '98 - by Marc BARILLEY */ fun save (filename, n)= ("action"::"register"::"register"::nil)::nil;; fun IniEditor (s)= let startEditor _channel nil nil nil 315 0 WN_MENU EDITOR_NORMAL s "dms/tools/exclu/exclu.dmc" nil nil nil @save nil -> ed in if s==nil then nil else openDMI ed; 0;;