/* Dbadmin Editor - DMS - dec 99 - by Patrice FAVRE */ /*-----------------------*/ fun save(s,n)= ("action"::"start"::"start"::nil):: ("action"::"destroy"::"destroy"::nil):: ("actionC"::"connect"::"connect"::nil):: ("actionC"::"show"::"show"::nil):: ("actionC"::"hide"::"hide"::nil):: ("event"::"destroyed"::"destroyed"::nil):: ("event"::"connected"::"connected"::nil):: ("eventC"::"in"::"in"::nil):: ("eventC"::"shown"::"shown"::nil):: ("eventC"::"hidden"::"hidden"::nil):: ("eventC"::"log"::"log"::nil):: ("zoneC"::"form"::nil):: nil;; /*-----------------------*/ fun load (l)= 0;; /*-----------------------*/ fun IniEditor (filename)= let startEditor _channel nil 0 0 325 0 WN_NORMAL EDITOR_NORMAL filename "dms/db/dbadmin/dbadmin.dmc" nil nil @load @save nil -> ed in if filename==nil then nil else openDMI ed; 0;;