Enable a button to layout the graph from the gui

dream/platform/static/index.html

@@ -20,6 +20,7 @@
               <fieldset id="general-fieldset">
               </fieldset>
               <a id="run_simulation">Run Simulation</a>
+              <a id="layout_graph">Layout Graph</a>
               </form>
             </div>
           </div>

dream/platform/static/src/dream_launcher.js

@@ -160,6 +160,14 @@
        return false;
      });
 
+    // Enable "Layout Graph" button
+    $("#layout_graph").button().click(
+      function(e){
+       dream_instance.positionGraph();
+       // XXX dirty way to redisplay after jio is saved
+       setTimeout(function() {window.history.go(0)}, 500);
+     });
+
     // Enable "Clear All" button
     $("#clear_all").button().click(
       function(e){

dream/platform/static/src/jsonPlumb.js

@@ -132,6 +132,24 @@
       $.publish("Dream.Gui.onDataChange", priv.getData());
     };
 
+
+    that.positionGraph = function() {
+      $.ajax(
+        '/positionGraph', {
+        data: JSON.stringify(priv.getData()),
+        contentType: 'application/json',
+        type: 'POST',
+        success: function(data, textStatus, jqXHR){
+          $.each(data, function(node, pos) {
+            priv.updateElementCoordinate(node,
+              {top: (Math.floor(pos.top*$("#main").height()) - 45) + "px",
+               left: Math.floor(pos.left*$("#main").width()) + "px"});
+          });
+        }
+      });
+
+    }
+
     priv.getData = function() {
       return { "element": priv.element_container,
                "preference": priv.preference_container,