Graph Editor: this gadget needs jquery mobile for .popup

285c68c8 · Jérome Perrin · 8854ac66 · 285c68c8
Commit 285c68c8 authored Nov 25, 2014 by Jérome Perrin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

dream/platform/src/jsplumb/index.html dream/platform/src/jsplumb/index.html +1 -0

No files found.
--- a/dream/platform/src/jsplumb/index.html
+++ b/dream/platform/src/jsplumb/index.html
@@ -7,6 +7,7 @@

    <script src="../<%= curl.jquery.relative_dest %>"></script>
    <script src="../<%= curl.jqueryuijs.relative_dest %>"></script>
+    <script src="../<%= curl.jquerymobilejs.relative_dest %>"></script>
    <script src="../<%= copy.rsvp.relative_dest %>"></script>
    <script src="../<%= copy.renderjs.relative_dest %>"></script>
    <script src="../<%= curl.jsplumbjs.relative_dest %>"></script>