module Ext_ElementLoader:A class used to load remote content to an Element. ...sig
..end
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