<commit_before><html>
  <head>
      <title>Sizes</title>
      <style>

        body {
          background-color: #333;
        }

        #device {
          border: 1px solid black;
        }

        #content {
          text-align: center;
        }

        #picker {
          background-color: black;
          color: white;
          position: absolute;
          margin: 10px;
          opacity: 0.5;
          font-family: Helvetica, sans-serif;
          font-size: 14px;
          padding-top: 16px;
          padding-right: 16px;
          padding-bottom: 16px;
        }

        #picker a {
          color: white;
          text-decoration: none;
        }

      </style>
      <script>

        var orientation = {
          PORTRAIT: 1,
          LANDSCAPE: 2
        };

        var items = [
          { name: "iPhone 6", width: 750, height: 1334, scale: 2, status: orientation.PORTRAIT },
          { name: "iPhone 5", width: 640, height: 1136, scale: 2, status: orientation.PORTRAIT },
          { name: "iPhone 6 Plus", width: 1242, height: 2208, scale: 3, status: orientation.PORTRAIT },
          { name: "iPad", width: 1536, height: 2048, scale: 2, status: orientation.PORTRAIT | orientation.LANDSCAPE }
        ];

        function init() {
          for (var i = 0; i < items.length; i++) {
            addItem(items[i], orientation.PORTRAIT);
            addItem(items[i], orientation.LANDSCAPE);
          }
          setSize(items[0], orientation.PORTRAIT);
          var device = document.getElementById("device");
          device.contentWindow.postMessage('debug', '*');
        }

        function addItem(details, or) {
          var picker = document.getElementById("picker");
          var li = document.createElement('li');
          var a = document.createElement('a');
          a.href = "javascript:setSize(" + JSON.stringify(details) + ", " + or + ");";
          a.appendChild(document.createTextNode(getTitle(details, or)));
          li.appendChild(a);
          picker.appendChild(li);
        }

        function getTitle(details, or) {
          var title = details.name + " - ";<commit_msg>Adding the iPhone 4 to the list of debug sizes.<commit_after><html>
  <head>
      <title>Sizes</title>
      <style>

        body {
          background-color: #333;
        }

        #device {
          border: 1px solid black;
        }

        #content {
          text-align: center;
        }

        #picker {
          background-color: black;
          color: white;
          position: absolute;
          margin: 10px;
          opacity: 0.5;
          font-family: Helvetica, sans-serif;
          font-size: 14px;
          padding-top: 16px;
          padding-right: 16px;
          padding-bottom: 16px;
        }

        #picker a {
          color: white;
          text-decoration: none;
        }

      </style>
      <script>

        var orientation = {
          PORTRAIT: 1,
          LANDSCAPE: 2
        };

        var items = [
          { name: "iPhone 6", width: 750, height: 1334, scale: 2, status: orientation.PORTRAIT },
          { name: "iPhone 5", width: 640, height: 1136, scale: 2, status: orientation.PORTRAIT },
          { name: "iPhone 6 Plus", width: 1242, height: 2208, scale: 3, status: orientation.PORTRAIT },
          { name: "iPad", width: 1536, height: 2048, scale: 2, status: orientation.PORTRAIT | orientation.LANDSCAPE },
          { name: "iPhone 4", width: 640, height: 960, scale: 2, status: orientation.PORTRAIT }
        ];

        function init() {
          for (var i = 0; i < items.length; i++) {
            addItem(items[i], orientation.PORTRAIT);
            addItem(items[i], orientation.LANDSCAPE);
          }
          setSize(items[0], orientation.PORTRAIT);
          var device = document.getElementById("device");
          device.contentWindow.postMessage('debug', '*');
        }

        function addItem(details, or) {
          var picker = document.getElementById("picker");
          var li = document.createElement('li');
          var a = document.createElement('a');
          a.href = "javascript:setSize(" + JSON.stringify(details) + ", " + or + ");";
          a.appendChild(document.createTextNode(getTitle(details, or)));
          li.appendChild(a);
          picker.appendChild(li);
        }

        function getTitle(details, or) {
          var title = details.name + " - ";
{'fraction_non_alphanumeric': 0.12949966040298846, 'fraction_numerical': 0.027846954946796468, 'mean_word_length': 1.759525296689569, 'pattern_counts': {'":': 0, '<': 19, '<?xml version=': 0, '>': 17, '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': '2588253', 'n_tokens_mistral': 1407, 'n_tokens_neox': 1239, 'n_words': 306}