<commit_before><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
    <title>Local Search Control for Google Maps - default.html</title>
        <script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=<KEY>"
      type="text/javascript"></script>
     <script src="http://www.google.com/uds/api?file=uds.js&amp;v=1.0&amp;key=<KEY>" type="text/javascript"></script>
    <script src="http://www.google.com/uds/solutions/localsearch/gmlocalsearch.js" type="text/javascript"></script>
    <style type="text/css">
      @import url("http://www.google.com/uds/css/gsearch.css");
      @import url("http://www.google.com/uds/solutions/localsearch/gmlocalsearch.css");

      #map {
        border : 1px solid #979797;
        width : 500px;
        height : 400px;
      }

      #results {
        width: 500px;
      }

      #map .gmls {
        width : 200px;
      }
    </style>

    <script type="text/javascript">
      //<![CDATA[
      var searchControl = null;
      var map = null;
      function load() {
        if (GBrowserIsCompatible()) {
        
          // Create and Center a Map
          map = new GMap2(document.getElementById("map"));
          map.setCenter(new GLatLng(-16.4819338, 145.4649603), 17);
          map.addControl(new GSmallMapControl());
          map.addControl(new GMapTypeControl());

          // bind a search control to the map, suppress result list
         var options = {
           searchFormHint : "search for local businesses",
           resultList : document.getElementById('results'),
           linkTarget : GSearch.LINK_TARGET_BLANK,
           suppressInitialResultSelection : true
          };
          searchControl = new google.maps.LocalSearch(options);
          map.addControl(searchControl);

          searchControl.focus();
          var html = "<div style='text-align: center; font-size: 11px; font-family: arial, sans serif'><font color='red'><i>New!</i></font> - Local business search tool.<br>Use it to find places (e.g. <a href='javascript:searchControl.execute(\"restaurants\")'>restaurants</a>, <a href='javascript:searchControl.execute(\"cafes\")'>cafes</a>) <br>around the map viewport. Give it a try!</div>";
          map.openInfoWindowHtml(map.getBounds().getSouthWest(), html);

        }
      }
      GSearch.setOnLoadCallback(load);
      //]]>
    </script>
  </head>
  <body onunload="GUnload()">
    <div id="map"></div>
    <div id="results"></div>
  </body>
</html><commit_msg>Local search stuff<commit_after><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8"/>
    <title>Local Search Control for Google Maps - default.html</title>
        <script src="http://maps.google.com/maps?file=api&amp;v=2&amp;key=<KEY>"
      type="text/javascript"></script>
     <script src="http://www.google.com/uds/api?file=uds.js&amp;v=1.0&amp;key=<KEY>" type="text/javascript"></script>
    <script src="http://www.google.com/uds/solutions/localsearch/gmlocalsearch.js" type="text/javascript"></script>
    <style type="text/css">
      @import url("http://www.google.com/uds/css/gsearch.css");
      @import url("http://www.google.com/uds/solutions/localsearch/gmlocalsearch.css");

      #map {
        border : 1px solid #979797;
        width : 500px;
        height : 400px;
      }

      #results {
        width: 500px;
      }

      #map .gmls {
        width : 200px;
      }
    </style>

    <script type="text/javascript">
      //<![CDATA[
      var searchControl = null;
      var map = null;
      function load() {
        if (GBrowserIsCompatible()) {
        
          // Create and Center a Map
          map = new GMap2(document.getElementById("map"));
          map.setCenter(new GLatLng(-16.483065510493518, 145.46324372291565), 17);
          map.addControl(new GSmallMapControl());
          map.addControl(new GMapTypeControl());

          // bind a search control to the map, suppress result list
         var options = {
           searchFormHint : "search for local businesses",
           resultList : document.getElementById('results'),
           linkTarget : GSearch.LINK_TARGET_BLANK,
           suppressInitialResultSelection : true
          };
          searchControl = new google.maps.LocalSearch(options);
          map.addControl(searchControl);

          searchControl.focus();
          var html = "<div style='text-align: center; font-size: 11px; font-family: arial, sans serif'><font color='red'><i>New!</i></font> - Local business search tool.<br>Use it to find places (e.g. <a href='javascript:searchControl.execute(\"restaurants\")'>restaurants</a>, <a href='javascript:searchControl.execute(\"cafes\")'>cafes</a>) <br>around the map viewport. Give it a try!</div>";
           map.openInfoWindowHtml(map.getBounds().getSouthWest(), html);

        }
      }
      GSearch.setOnLoadCallback(load);
      //]]>
    </script>
  </head>
  <body onunload="GUnload()">
    <div id="map"></div>
    <div id="results"></div>
  </body>
</html>
{'fraction_non_alphanumeric': 0.16419868791002812, 'fraction_numerical': 0.024554826616682287, 'mean_word_length': 2.7055555555555557, 'pattern_counts': {'":': 0, '<': 81, '<?xml version=': 0, '>': 81, 'https://': 0, 'lorem ipsum': 0, 'www.': 12, 'xml': 2}, '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': '4653371', 'n_tokens_mistral': 1823, 'n_tokens_neox': 1688, 'n_words': 315}