<commit_before><!DOCTYPE html>
<html lang="en">
    <head>
        <meta http-equiv="content-type" content="text/html; charset=UTF-8"/>
        <meta name="viewport" content="width=device-width, initial-scale=1.0">
        <title>Task editor</title>
        <link rel="shortcut icon" href="img/zigzag.ico"/>
        <link type="text/css" rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css">
        <link type="text/css" rel="stylesheet" href="animate.min.css">
        <link type="text/css" rel="stylesheet" href="index.css">
        <script type="text/javascript" src="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
        <script type="text/javascript" src="http://maps.google.com/maps/api/js?v=3&sensor=false"></script>
        <script type="text/javascript" src="leaflet-plugins-1.2.1/layer/tile/Google.js"></script>
        <script type="text/javascript" src="http://pg.v5d.org/lib/str.js"></script>
        <script type="text/javascript" src="lz-string.js"></script>
        <script type="text/javascript" src="index.js"></script>
    </head>
    <body>
        <div id="menu_div">
            <button id="load_waypoints_button">Load waypoints</button>
            <table id="waypoints_table">
                <tr>
                    <th>Name/Comment</th>
                    <th>Lat/Lng</th>
                    <th>Alt[m]/Type</th>
                    <th>&nbsp;</th>
                </tr>
                <!-- Waypoint row template -->
                <tr style="display: none" id="{wptr_}">
                    <td>
                        <input type="text" id="{wp_name_}"    size=10 required><br>
                        <input type="text" id="{wp_comment_}" size=10>
                    </td>
                    <td>
                        <input type="text" id="{wp_lat_}" size=8 required><br>
                        <input type="text" id="{wp_lng_}" size=8 required>
                    </td>
                    <td>
                        <input type="number" id="{wp_altitude_}" required min="0" class="altitude"><br>
                        <select id="{wp_type_}" class="wp_type">
                        </select>
                    </td>
                    <td>
                        <img id="{wp_del_}" src="img/del.png" class="del_wp">
                    </td>
                </tr>
                <tr id="new_waypoint_tr">
                    <td colspan="4"><commit_msg>Add placeholder to name and comment in the table<commit_after><!DOCTYPE html>
<html lang="en">
    <head>
        <meta http-equiv="content-type" content="text/html; charset=UTF-8"/>
        <meta name="viewport" content="width=device-width, initial-scale=1.0">
        <title>Task editor</title>
        <link rel="shortcut icon" href="img/zigzag.ico"/>
        <link type="text/css" rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.css">
        <link type="text/css" rel="stylesheet" href="animate.min.css">
        <link type="text/css" rel="stylesheet" href="index.css">
        <script type="text/javascript" src="http://cdn.leafletjs.com/leaflet-0.7.3/leaflet.js"></script>
        <script type="text/javascript" src="http://maps.google.com/maps/api/js?v=3&sensor=false"></script>
        <script type="text/javascript" src="leaflet-plugins-1.2.1/layer/tile/Google.js"></script>
        <script type="text/javascript" src="http://pg.v5d.org/lib/str.js"></script>
        <script type="text/javascript" src="lz-string.js"></script>
        <script type="text/javascript" src="index.js"></script>
    </head>
    <body>
        <div id="menu_div">
            <button id="load_waypoints_button">Load waypoints</button>
            <table id="waypoints_table">
                <tr>
                    <th>Name/Comment</th>
                    <th>Lat/Lng</th>
                    <th>Alt[m]/Type</th>
                    <th>&nbsp;</th>
                </tr>
                <!-- Waypoint row template -->
                <tr style="display: none" id="{wptr_}">
                    <td>
                        <input type="text" id="{wp_name_}"    size=10 placeholder="name" required><br>
                        <input type="text" id="{wp_comment_}" size=10 placeholder="comment">
                    </td>
                    <td>
                        <input type="text" id="{wp_lat_}" size=8 required><br>
                        <input type="text" id="{wp_lng_}" size=8 required>
                    </td>
                    <td>
                        <input type="number" id="{wp_altitude_}" required min="0" class="altitude"><br>
                        <select id="{wp_type_}" class="wp_type">
                        </select>
                    </td>
                    <td>
                        <img id="{wp_del_}" src="img/del.png" class="del_wp">
                    </td>
                </tr>
                <tr id="new_waypoint_tr">
                    <td colspan="4">
{'fraction_non_alphanumeric': 0.1710261569416499, 'fraction_numerical': 0.008853118712273641, 'mean_word_length': 1.7030995106035889, 'pattern_counts': {'":': 0, '<': 129, '<?xml version=': 0, '>': 129, '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': '281862', 'n_tokens_mistral': 1537, 'n_tokens_neox': 1446, 'n_words': 243}