anchor.diff:        <% end %>
       </ul>
     </li>
  +  <li><a href="#" data-toggle="modal" data-target="#options-modal">Options</a></li>
   <% end %>
   
   <div id="foo" style="">
  
positive.code:     });
  
      $tree.on("changed.jstree", function (e, data) {
        var addrs = data.node.data.addrs;
        var url = "/__stackprofiler/code/" + addrs[0] + "?run_id=<%= @run_id %>";
        $("#source-display").load(url);
      });
    });
  </script>
  
negative.code: 
      var $tree = $('#jstree_demo');
  
      var params_func = function()
      {
        var params = {filters: {}};
  
        if ($('form#options input[name="stackprofiler_elision"]').is(':checked')) params.filters.stackprofiler_elision = {};
        if ($('form#options input[name="remove_gems"]').is(':checked')) params.filters.remove_gems = {};
        if ($('form#options input[name="quick_method_elision"]').is(':checked')) params.filters.quick_method_elision = {};
        if ($('form#options input[name="compress_tree"]').is(':checked')) params.filters.compress_tree = {};
  
        return params;
      };
  
      var load_func = function(node, cb) {
        $.post("/__stackprofiler/json?run_id=<%= @run_id %>", JSON.stringify(params_func()), function(data, status, xhr) {
          cb.call(this, data);
        });
      };
  