<commit_before>﻿$(function () {
    // Sets a timer to retrieve the game's status at a regular interval
    setInterval(function () { $.get("/Player/Status", function (data) { processData(data); }) }, 1000);
    $("#bots").selectmenu();
    // Setup buttons and variables
    $("#button").button({ disabled: true });
    var flags = $("#board").data("flag");
    var player = $("#playerNum").data("player");
    var direction = 0;
    $(".boardSquare").css({"cursor": "pointer", "user-select": "none"}).attr('unselectable', 'on').on('selectstart', false);

    // Loads the background image for the board
    $("#board").css("background-image", 'url("/images/boards/' + $("#board").data("board") + '.png")');

    // Lets a user select a starting position for their bot.
    // TODO: Restrict selection to predefined starting squares.
    $(".boardSquare").click(function () {
        if (!$(this).hasClass("occupied")) {
            if ($("#button").button("option", "disabled") == true) {
                $("#button").button("option", "disabled", false);
            }
            $("#player").val(player);
            if ($(this).hasClass("selected")) {
                switch (direction) {
                    case 0:
                        direction = 3;
                        break;
                    case 1:
                        direction = 0;
                        break
                    case 2:
                        direction = 1;<commit_msg>Fixed UI bug.<commit_after>﻿$(function () {
    // Sets a timer to retrieve the game's status at a regular interval
    setInterval(function () { $.get("/Player/Status", function (data) { processData(data); }) }, 1000);
    $("#bots").selectmenu();
    // Setup buttons and variables
    $("#button").button({ disabled: true });
    var flags = $("#board").data("flag");
    var player = $("#playerNum").data("player");
    var direction = 1;
    $(".boardSquare").css({"cursor": "pointer", "user-select": "none"}).attr('unselectable', 'on').on('selectstart', false);

    // Loads the background image for the board
    $("#board").css("background-image", 'url("/images/boards/' + $("#board").data("board") + '.png")');

    // Lets a user select a starting position for their bot.
    // TODO: Restrict selection to predefined starting squares.
    $(".boardSquare").click(function () {
        if (!$(this).hasClass("occupied")) {
            if ($("#button").button("option", "disabled") == true) {
                $("#button").button("option", "disabled", false);
            }
            $("#player").val(player);
            if ($(this).hasClass("selected")) {
                switch (direction) {
                    case 0:
                        direction = 3;
                        break;
                    case 1:
                        direction = 0;
                        break
                    case 2:
                        direction = 1;
{'fraction_non_alphanumeric': 0.18302658486707565, 'fraction_numerical': 0.007498295841854124, 'mean_word_length': 1.9766734279918865, 'pattern_counts': {'":': 4, '<': 3, '<?xml version=': 0, '>': 3, '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': '4033716', 'n_tokens_mistral': 773, 'n_tokens_neox': 723, 'n_words': 199}