Module Ext_ElementLoader


module Ext_ElementLoader: sig .. end
A class used to load remote content to an Element. ...

A class used to load remote content to an Element. Sample usage:

Ext.get('el').load({
    url: 'myPage.php',
    scripts: true,
    params: {
        id: 1
    }
});

In general this class will not be instanced directly, rather the Ext.Element.load method will be used.



class type t = object .. end
class type configs = object .. end
class type events = object .. end
class type statics = object .. end
val of_configs : configs Js.t -> t Js.t
of_configs c casts a config object c to an instance of class t
val to_configs : t Js.t -> configs Js.t
to_configs o casts instance o of class t to a config object