fix dropdown in slice page
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 30 Sep 2013 09:13:10 +0000 (11:13 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 30 Sep 2013 09:13:10 +0000 (11:13 +0200)
ui/static/js/topmenu.js [new file with mode: 0644]
ui/templates/base.html

diff --git a/ui/static/js/topmenu.js b/ui/static/js/topmenu.js
new file mode 100644 (file)
index 0000000..8597619
--- /dev/null
@@ -0,0 +1 @@
+$(function () { $(".dropdown-toggle").dropdown(); })
index 4a05bad..8c49b4a 100644 (file)
@@ -19,6 +19,7 @@
 {% insert_str prelude "js/mustache.js" %}
 {% insert_str prelude "js/plugin.js" %}
 {% insert_str prelude "js/manifold.js" %}
+{% insert_str prelude "js/topmenu.js" %}
 {% insert_str prelude "css/manifold.css" %}
 <body>
 {% block container %}