<commit_before><!-- 
  This is an example html file with some options added. The minimum html file for
  the graph visualization is:
  <!DOCTYPE html>
  <html>
    <head>
      <title>Graph Visualization</title>
      <script type="text/javascript" src="path/to/graph-min.js"></script>
    </head>
    <body onload="new Drawing.SimpleGraph({layout: '3d', showStats: true, showInfo: true})">
    </bod>
  </html> 
-->
<!DOCTYPE html>
<html>
  <head>
    <title>Graph Visualization</title>
    <script type="text/javascript" src="build/graph-min.js"></script>

    <script type="text/javascript">
      var drawing;
      function createDrawing() {
        var index = parseInt(location.search.split("?")[1]);
        if(isNaN(index)) {
          index = 1;
        }
        /* Change these values to draw more nodes (numNodes) */
        switch(index) {
          case 0:
            drawing = new Drawing.SimpleGraph({layout: '2d', selection: false, numNodes: 50, showStats: true, showInfo: true});
            break;
          case 1:
            drawing = new Drawing.SimpleGraph({layout: '3d', selection: true, numNodes: 50, graphLayout:{attraction: 5, repulsion: 0.5}, showStats: true, showInfo: true});
            break;
          case 2:
            drawing = new Drawing.SphereGraph({numNodes: 50, showStats: true, showInfo: true});
            break;
          default:
              drawing = new Drawing.SimpleGraph({layout: '3d', selection: true, numNodes: 50, showStats: true, showInfo: true});
        }
        document.getElementById("drawing_select").selectedIndex = index;
      }
    </script>
        
    <style type="text/css"> 
      body {
        margin: 0;
        padding: 0;
        background-color: #f0f0f0;
        font: 11px courier;
        overflow: hidden;
      }
      #graph-info {
        position: absolute;
        top: 0px;
        left: 40%;
        margin: 10px;
        background-color: #ffffe0;
        color: #333;
        padding: 5px 10px;
      }
      #options {
        position: absolute;
        top: 0;
        right: 0;
        z-index: 10;
      }
    </style>
  </head>
  <body onload="createDrawing()">
    <div id="options">
      <form>
        <p>
          <label>Drawing</label><br>
          <select id="drawing_select" onchange="window.location.href = '?' + this.selectedIndex;">
            <option>2D-Force-Directed</option>
            <option selected="selected">3D-Force-Directed</option>
            <option>Sphere Graph</option>
          </select>
        </p>
        <p>
          <input type="checkbox" id="show_labels"> 
          <label for="show_labels">Show labels</label>
        </p>
        <p>
          <input type="button" value="Stop layout" onclick="drawing.stop_calculating();"> 
        </p>
      </form>
    </div>

    <div style="position: absolute; bottom: 0;">
      Rotate: Left Mouse Button and Move<br />
      Zoom: Press Key S + Left Mouse Button and Move<br /> 
      Drag: Press Key D + Left Mouse Button and Move
    </div>    
  </body>
</html><commit_msg>Added onclick event for checkbox.<commit_after><!-- 
  This is an example html file with some options added. The minimum html file for
  the graph visualization is:
  <!DOCTYPE html>
  <html>
    <head>
      <title>Graph Visualization</title>
      <script type="text/javascript" src="path/to/graph-min.js"></script>
    </head>
    <body onload="new Drawing.SimpleGraph({layout: '3d', showStats: true, showInfo: true})">
    </bod>
  </html> 
-->
<!DOCTYPE html>
<html>
  <head>
    <title>Graph Visualization</title>
    <script type="text/javascript" src="build/graph-min.js"></script>

    <script type="text/javascript">
      var drawing;
      function createDrawing() {
        var index = parseInt(location.search.split("?")[1]);
        if(isNaN(index)) {
          index = 1;
        }
        /* Change these values to draw more nodes (numNodes) */
        switch(index) {
          case 0:
            drawing = new Drawing.SimpleGraph({layout: '2d', selection: false, numNodes: 50, showStats: true, showInfo: true});
            break;
          case 1:
            drawing = new Drawing.SimpleGraph({layout: '3d', selection: true, numNodes: 50, graphLayout:{attraction: 5, repulsion: 0.5}, showStats: true, showInfo: true});
            break;
          case 2:
            drawing = new Drawing.SphereGraph({numNodes: 50, showStats: true, showInfo: true});
            break;
          default:
              drawing = new Drawing.SimpleGraph({layout: '3d', selection: true, numNodes: 50, showStats: true, showInfo: true});
        }
        document.getElementById("drawing_select").selectedIndex = index;
      }
    </script>
        
    <style type="text/css"> 
      body {
        margin: 0;
        padding: 0;
        background-color: #f0f0f0;
        font: 11px courier;
        overflow: hidden;
      }
      #graph-info {
        position: absolute;
        top: 0px;
        left: 40%;
        margin: 10px;
        background-color: #ffffe0;
        color: #333;
        padding: 5px 10px;
      }
      #options {
        position: absolute;
        top: 0;
        right: 0;
        z-index: 10;
      }
    </style>
  </head>
  <body onload="createDrawing()">
    <div id="options">
      <form>
        <p>
          <label>Drawing</label><br>
          <select id="drawing_select" onchange="window.location.href = '?' + this.selectedIndex;">
            <option>2D-Force-Directed</option>
            <option selected="selected">3D-Force-Directed</option>
            <option>Sphere Graph</option>
          </select>
        </p>
        <p>
          <input type="checkbox" id="show_labels" onclick="drawing.show_labels = this.checked;">
          <label for="show_labels">Show labels</label>
        </p>
        <p>
          <input type="button" value="Stop layout" onclick="drawing.stop_calculating();"> 
        </p>
      </form>
    </div>

    <div style="position: absolute; bottom: 0;">
      Rotate: Left Mouse Button and Move<br />
      Zoom: Press Key S + Left Mouse Button and Move<br /> 
      Drag: Press Key D + Left Mouse Button and Move
    </div>    
  </body>
</html>
{'fraction_non_alphanumeric': 0.14048118843855967, 'fraction_numerical': 0.014855481995801712, 'mean_word_length': 2.118831822759315, 'pattern_counts': {'":': 0, '<': 115, '<?xml version=': 0, '>': 115, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3781932', 'n_tokens_mistral': 1946, 'n_tokens_neox': 1848, 'n_words': 483}