<commit_before><!doctype html>
<html>
    <head>
        <title>Everything</title>
        <script src="http://cdnjs.cloudflare.com/ajax/libs/jquery/2.0.3/jquery.min.js"></script>
        <style type="text/css">
            /* basic table styling from bootstrap */
            * {
                padding: 0;
                margin: 0;
            }
            body {
                font-size: 14px;
                font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
                color: #222;
            }
            tr {
                border-top: 1px solid #eee;
            }
            td a {
                text-decoration: none;
                color: black;
            }
            thead {
                color: white;
                background-color: black;
            }
            thead tr {
                border: none;
                line-height: 36px;
            }
            table {
              max-width: 100%;
              background-color: transparent;
              border-collapse: collapse;
              border-spacing: 0;
            }
            .table {
              width: 100%;
              margin-bottom: 20px;
            }
            .table th,
            .table td {
              padding: 5px;
              line-height: 15px;
              text-align: left;
              vertical-align: top;
            }
            .table th {
              font-weight: bold;
              line-height: 30px;
            }
            .table thead th {
              vertical-align: bottom;
            }
            .table tbody tr.success {
              background-color: #00BF00;
            }
            .table tbody tr.error {
              background-color: #FF2626;
              border-top: 1px solid black;
              border-bottom: 1px solid black;
            }

            #controls {
                bottom: 0;
                right: 0;
                background-color: white;
                position: fixed;
                padding: 10px 15px;
                box-shadow: 0 0 10px rgba(0,0,0,0.5);
                line-height: 1.5em;
            }
            input[type='radio'] {
                margin-right: 5px;
            }
            #count {
                right: 20px;
                position: absolute;
                font-weight: bold;
                color: white;
                font-size: 48px;
                text-shadow: 0 0px 10px rgba(0,0,0,0.5);
                top: -40px;
            }
            #count span {
                font-size: 24px;
            }
        </style>
    </head>
    <body>
        <div id='controls'>
            <span id='count'></span>
            <input type='radio' name='filter' value='everything' id='everything' onclick='click_everything()' checked><label for='everything'> everything</label><br>
            <input type='radio' name='filter' value='red' id='red' onclick='click_red()'><label for='red'> problems (red)</label><br>
            <input type='radio' name='filter' value='green' id='green'onclick='click_green()'><label for='green'> done (green)</label><br>
            <input type='radio' name='filter' value='users' id='users' onclick='drop_selection("users-select")'><label for='users'> user: </label>
                <select id='users-select' onchange='drop_selection("users-select")'></select><br>
            <input type='radio' name='filter' value='problems' id='problems' onclick='drop_selection("problems-select")'><label for='problems'> problem: </label>
                <select id='problems-select' onchange='drop_selection("problems-select")'></select><br>
        </div>
        <table id='main_table' class='table'>
            <thead>
                <tr>
                    <th>#</th>
                    <th>Problem</th>
                    <th>Done</th>
                    <th>User</th>
                    <th>Time</th>
                    <th>Mark as done</th>
                    <th>Edit in JOSM</th>
                </tr>
            </thead>
        </table>
        <script type="text/javascript">
        function locate() {
            // absolutely in no way comprehensive
            var location = {};
            if (window.location.search) {
                var search = window.location.search.split('?');
                for (var a = 0; a < search.length; a++) {
                    if (a == search.length-1) {
                        /* remove trailing slash */
                        if (search[a].substr(-1) == '/') {
                            search[a] = search[a].slice(0,-1);
                        }
                    }

                    if (search[a] != '') {
                        var split = search[a].split('=');
                        if (split.length = 2) {
                            location[split[0]] = split[1];
                        }
                    }
                }
            }
            return location;
        }

        function buildTable() {
            // need to check the current state of filters, possibly apply them
            // then buildTable as a callback


            // index from simple.py: id, problem, done, user, time
            items = window.everything;

            if (document.getElementsByTagName('tbody').length) {
                // clear the way
                var table = document.getElementById('main_table');
                table.removeChild(document.getElementsByTagName('tbody')[0]);
            }

            var table = document.createElement('tbody');

            for (var a = 0; a < items.length; a++) {
                // rows
                var tr = document.createElement('tr');
                for (var b = 0; b < items[a].length; b++) {
                    // columns
                    var column = document.createElement('td'),
                        text = document.createTextNode(items[a][b]);
                    column.appendChild(text);
                    tr.appendChild(column);
                }

                // mark as done
                var column = document.createElement('td');
                if (items[a][2] === 0) {
                    // put a button in there, alert for confirmation<commit_msg>Stylized 'done' and 'time' columns<commit_after><!doctype html>
<html>
    <head>
        <title>Everything</title>
        <script src="http://cdnjs.cloudflare.com/ajax/libs/jquery/2.0.3/jquery.min.js"></script>
        <style type="text/css">
            /* basic table styling from bootstrap */
            * {
                padding: 0;
                margin: 0;
            }
            body {
                font-size: 14px;
                font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
                color: #222;
            }
            tr {
                border-top: 1px solid #eee;
            }
            td a {
                text-decoration: none;
                color: black;
            }
            thead {
                color: white;
                background-color: black;
            }
            thead tr {
                border: none;
                line-height: 36px;
            }
            table {
              max-width: 100%;
              background-color: transparent;
              border-collapse: collapse;
              border-spacing: 0;
            }
            .table {
              width: 100%;
              margin-bottom: 20px;
            }
            .table th,
            .table td {
              padding: 5px;
              line-height: 15px;
              text-align: left;
              vertical-align: top;
            }
            .table th {
              font-weight: bold;
              line-height: 30px;
            }
            .table thead th {
              vertical-align: bottom;
            }
            .table tbody tr.success {
              background-color: #00BF00;
            }
            .table tbody tr.error {
              background-color: #FF2626;
              border-top: 1px solid black;
              border-bottom: 1px solid black;
            }

            #controls {
                bottom: 0;
                right: 0;
                background-color: white;
                position: fixed;
                padding: 10px 15px;
                box-shadow: 0 0 10px rgba(0,0,0,0.5);
                line-height: 1.5em;
            }
            input[type='radio'] {
                margin-right: 5px;
            }
            #count {
                right: 20px;
                position: absolute;
                font-weight: bold;
                color: white;
                font-size: 48px;
                text-shadow: 0 0px 10px rgba(0,0,0,0.5);
                top: -40px;
            }
            #count span {
                font-size: 24px;
            }
        </style>
    </head>
    <body>
        <div id='controls'>
            <span id='count'></span>
            <input type='radio' name='filter' value='everything' id='everything' onclick='click_everything()' checked>
                <label for='everything'> everything</label><br>
            <input type='radio' name='filter' value='red' id='red' onclick='click_red()'>
                <label for='red'> problems (red)</label><br>
            <input type='radio' name='filter' value='green' id='green'onclick='click_green()'>
                <label for='green'> done (green)</label><br>
            <input type='radio' name='filter' value='users' id='users' onclick='drop_selection("users-select")'>
                <label for='users'> user: </label>
                <select id='users-select' onchange='drop_selection("users-select")'></select><br>
            <input type='radio' name='filter' value='problems' id='problems' onclick='drop_selection("problems-select")'>
                <label for='problems'> problem: </label>
                <select id='problems-select' onchange='drop_selection("problems-select")'></select><br>
        </div>
        <table id='main_table' class='table'>
            <thead>
                <tr>
                    <th>#</th>
                    <th>Problem</th>
                    <th>Done</th>
                    <th>User</th>
                    <th>Time</th>
                    <th>Mark as done</th>
                    <th>Edit in JOSM</th>
                </tr>
            </thead>
        </table>
        <script type="text/javascript">
        function locate() {
            // absolutely in no way comprehensive
            var location = {};
            if (window.location.search) {
                var search = window.location.search.split('?');
                for (var a = 0; a < search.length; a++) {
                    if (a == search.length-1) {
                        /* remove trailing slash */
                        if (search[a].substr(-1) == '/') {
                            search[a] = search[a].slice(0,-1);
                        }
                    }

                    if (search[a] != '') {
                        var split = search[a].split('=');
                        if (split.length = 2) {
                            location[split[0]] = split[1];
                        }
                    }
                }
            }
            return location;
        }

        function buildTable() {
            // need to check the current state of filters, possibly apply them
            // then buildTable as a callback


            // index from simple.py: id, problem, done, user, time
            items = window.everything;

            if (document.getElementsByTagName('tbody').length) {
                // clear the way
                var table = document.getElementById('main_table');
                table.removeChild(document.getElementsByTagName('tbody')[0]);
            }

            var table = document.createElement('tbody');

            for (var a = 0; a < items.length; a++) {
                // rows
                var tr = document.createElement('tr');
                for (var b = 0; b < items[a].length; b++) {
                    // columns
                    var column = document.createElement('td');

                    if (b == 2) {
                        // checkmark for done items
                        if (items[a][b] === 1) {
                            var text = '&#x2713;';
                        } else {
                            var text = '';
                        }
                    } else {
                        var text = items[a][b];
                    }

                    if (b == 4) {
                        if (items[a][b]) {
                            var date = new Date(items[a][b]*1000),
                                months = ['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'],
                                text = months[date.getMonth()] + ' ' + date.getDate() + ' ' + date.getFullYear() + ' ' + 
                                    date.getHours() + ':' + date.getMinutes();
                        }
                    }

                    column.innerHTML = text;
                    tr.appendChild(column);
                }

                // mark as done
                var column = document.createElement('td');
                if (items[a][2] === 0) {
                    // put a button in there, alert for confirmation
{'fraction_non_alphanumeric': 0.1251217502060388, 'fraction_numerical': 0.013561099872630553, 'mean_word_length': 1.0901973066082054, 'pattern_counts': {'":': 0, '<': 129, '<?xml version=': 0, '>': 123, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6837545', 'n_tokens_mistral': 3660, 'n_tokens_neox': 3295, 'n_words': 754}