Permalink
Browse files

First version of the "Resizable" tutorial.

  • Loading branch information...
0 parents commit 3b2c517d3124daed49ef9f2e1a87a96ab64db3f2 @akoprow akoprow committed Jan 12, 2012
@@ -0,0 +1,8 @@
+_build
+_tracks
+*~
+*.exe
+*.opp
+*.opx
+*.opx.broken
+*.zip
@@ -0,0 +1,3 @@
+opa-plugin-builder --js-validator-off jQuery-UI/plugin/jquery-ui-1.8.16.custom.js jQuery-UI/plugin/resizable.js -o resizable.opp
+opa --parser js-like jQuery-UI/resizable.opa resizable.opp
+opa --parser js-like demo_resizable.opa -o resizable.exe
@@ -0,0 +1,23 @@
+import stdlib.{themes.bootstrap, widgets.bootstrap}
+import jquery.resizable
+
+WB = WBootstrap
+
+function page() {
+ msg =
+ <div id=#msg class="alert-message warning"
+ onready={function (_) { Resizable.mk_resizable(#msg) }}>
+ <p><strong>Notice:</> this box is resizable; try dragging at its edges.</>
+ </>
+ WBootstrap.Layout.fixed(msg)
+}
+
+Server.start(Server.http,
+ [ { resources: @static_resource_directory("resources") }
+ , { register: [ "resources/jquery-ui-1.8.16.custom.css"
+ , "resources/style.css"
+ ]
+ }
+ , {title: "jQuery-UI demo", ~page}
+ ]
+)
Oops, something went wrong.

0 comments on commit 3b2c517

Please sign in to comment.