Permalink
Browse files

Forgotten main file rename.

  • Loading branch information...
1 parent 767036d commit f5ce4757ce8f0289c7c9957eff0f9db95f888cef @akoprow akoprow committed Feb 25, 2012
Showing with 4 additions and 4 deletions.
  1. +4 −4 demo.opa → jquery-ui-demo.opa
View
8 demo.opa → jquery-ui-demo.opa
@@ -34,22 +34,22 @@ function mk_demo(demo) {
#demo = gen()
}
function mk_page(page) {
- <li><a onclick={show_demo(page.show)}>{page.name}</></>
+ <li><a onclick={show_demo(page.show)} data-toggle=tab>{page.name}</></>
}
function show(_) {
#submenu =
<ul class="nav nav-tabs nav-stacked">
{List.map(mk_page, demo.pages)}
</>
}
- <li><a onclick={show}>{demo.name}</></>
+ <li><a onclick={show} data-toggle=tab>{demo.name}</></>
}
function page() {
<div class=container>
<div class=row>
<div class=span2>
- <ul class="nav nav-tabs nav-stacked">
+ <ul id=menu class="nav nav-tabs nav-stacked">
{List.map(mk_demo, demos)}
</>
</>
@@ -61,7 +61,7 @@ function page() {
Server.start(Server.http,
[ {resources: @static_resource_directory("resources")}
- , {register: ["resources/bootstrap.css", "resources/style.css"]}
+ , {register: ["resources/bootstrap.css", "resources/style.css", "resources/bootstrap.js"]}
, {title: "JQuery-UI in Opa", ~page}
]
)

0 comments on commit f5ce475

Please sign in to comment.