Module Ext_dd_DDProxy

module Ext_dd_DDProxy: sig .. end

A DragDrop implementation that inserts an empty, bordered div into the document that follows the cursor during drag operations. At the time of the click, the frame div is resized to the dimensions of the linked html element, and moved to the exact location of the linked element.

References to the "frame" element refer to the single proxy element that was created to be dragged in place of all DDProxy elements on the page.

class type t = object .. end

class type configs = object .. end

class type events = object .. end

class type statics = object .. end

val get_static : unit -> statics Js.t

val static : statics Js.t

val of_configs : configs Js.t -> t Js.t

val to_configs : t Js.t -> configs Js.t