Item #{i}>>
+ }
+ function on_update() {
+ children = Dom.split(Dom.select_children(#sortable))
+ l = List.map( function(d) { Dom.get_id(d) }, children)
+ #sorting = "sorting is: " ^ String.concat(", ", l)
+ }
+ function mk_sortable(_) {
+ jQueryUI.Sortable.mk_sortable(#sortable)
+ jQueryUI.Sortable.disable_selection(#sortable)
+ jQueryUI.Sortable.on_update(#sortable, on_update)
+ }
+
+
+
+ {List.init(mk_entry, 7)}
+
+
}
}
diff --git a/packages/jQueryUI/jQueryUI.opa b/packages/jQueryUI/jQueryUI.opa
index baa7a05..88c3be4 100644
--- a/packages/jQueryUI/jQueryUI.opa
+++ b/packages/jQueryUI/jQueryUI.opa
@@ -14,6 +14,11 @@ module jQueryUI {
%%JQueryUI.disable_selection%%(elt)
}
+ function void on_update(dom, f) {
+ elt = Dom.of_selection(dom)
+ %%JQueryUI.sortable_on_update%%(elt,f)
+ }
+
}
}
diff --git a/packages/jQueryUI/jQueryUI/jQueryUI.js b/packages/jQueryUI/jQueryUI/jQueryUI.js
index 70b66d0..be27f68 100644
--- a/packages/jQueryUI/jQueryUI/jQueryUI.js
+++ b/packages/jQueryUI/jQueryUI/jQueryUI.js
@@ -13,3 +13,10 @@
dom.disableSelection();
return js_void;
}
+
+##register sortable_on_update : Dom.private.element, ( -> void) -> void
+##args(dom, on_update)
+{
+return dom.bind( "sortupdate", function(event, ui) { on_update(); } );
+}
+