use mixin_gadget.js in jsplumb

613ea05a · Thibaut Frain · Jérome Perrin · 4801018c · 613ea05a · 613ea05a
Commit 613ea05a authored Jun 24, 2014 by Thibaut Frain Committed by Jérome Perrin Aug 11, 2014
3 changed files
--- a/dream/platform/src2/jsplumb/index.html
+++ b/dream/platform/src2/jsplumb/index.html
@@ -21,6 +21,7 @@
      </div>
    </script>
    
+    <script src="../dream/mixin_gadget.js"></script>
    <script src="jsplumb.js"></script>
  </head>
  <body>

--- a/dream/platform/src2/jsplumb/jsplumb.js
+++ b/dream/platform/src2/jsplumb/jsplumb.js
--- a/dream/platform/src2/toolbox/index.html
+++ b/dream/platform/src2/toolbox/index.html
@@ -19,6 +19,7 @@
      </div>
    </script>
    
+    <script src="../dream/mixin_gadget.js"></script>
    <script src="toolbox.js"></script>
  </head>
  <body>