/* StartScol Editor - DMS - jan 2000 - by Patrice FAVRE */ /*-----------------------*/ fun save(s,n)= ("action"::"killC"::"killC"::nil):: ("action"::"closeS"::"closeS"::nil):: ("action"::"openScol"::"openScol"::nil):: ("action"::"gotoScol"::"gotoScol"::nil):: ("action"::"closeC"::"closeC"::nil):: nil;; /*-----------------------*/ fun IniEditor (filename)= let startEditor _channel nil nil nil 315 0 WN_NORMAL EDITOR_NORMAL filename "dms/admin/startscol/startscol.dmc" nil nil nil @save nil -> ed in if filename==nil then nil else openDMI ed; 0;;