JOJ Simple Diff

Make your life easier when comparing the results in JOJ!

От 22.10.2020. Виж последната версия.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey, Greasemonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Violentmonkey.

За да инсталирате този скрипт, трябва да имате инсталирано разширение като Tampermonkey или Userscripts.

За да инсталирате скрипта, трябва да инсталирате разширение като Tampermonkey.

За да инсталирате този скрипт, трябва да имате инсталиран скриптов мениджър.

(Вече имам скриптов мениджър, искам да го инсталирам!)

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да инсталирате разширение като Stylus.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

За да инсталирате този стил, трябва да имате инсталиран мениджър на потребителски стилове.

(Вече имам инсталиран мениджър на стиловете, искам да го инсталирам!)

// ==UserScript==
// @name         JOJ Simple Diff
// @namespace    http://tampermonkey.net/
// @version      0.2
// @description  Make your life easier when comparing the results in JOJ!
// @author       BoYanZh
// @match        https://joj.sjtu.edu.cn/d/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    String.prototype.rstrip = function() {
        return String(this).replace(/\s+$/g, '');
    };
    var stdout = document.querySelector("#stdout > div.section__body > pre");
    var answer = document.querySelector("#answer > div.section__body > pre");
    var stdoutTexts = stdout.textContent.split("\n");
    var answerTexts = answer.textContent.split("\n");
    for(var index1 = 0, index2 = 0; index1 < stdoutTexts.length && index2 < answerTexts.length;){
        if(answerTexts[index2].rstrip() !== stdoutTexts[index1].rstrip()){
            stdout.innerHTML = stdout.textContent.replace(stdoutTexts[index1], '<span style="background:red;">' + stdoutTexts[index1] + '</span>');
            --index1;
        }
        ++index1;++index2;
    }
})();