AtCoder Search Query Holder

「すべての提出」「自分の提出」ページを遷移し合うときに検索条件を保持する

Verze ze dne 25. 02. 2023. Zobrazit nejnovější verzi.

K instalaci tototo skriptu si budete muset nainstalovat rozšíření jako Tampermonkey, Greasemonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Violentmonkey.

K instalaci tohoto skriptu si budete muset nainstalovat rozšíření jako Tampermonkey nebo Userscripts.

You will need to install an extension such as Tampermonkey to install this script.

K instalaci tohoto skriptu si budete muset nainstalovat manažer uživatelských skriptů.

(Už mám manažer uživatelských skriptů, nechte mě ho nainstalovat!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(Už mám manažer uživatelských stylů, nechte mě ho nainstalovat!)

// ==UserScript==
// @name         AtCoder Search Query Holder
// @namespace    https://twitter.com/cpg_tea
// @version      1.0
// @description  「すべての提出」「自分の提出」ページを遷移し合うときに検索条件を保持する
// @author       gmm_tea
// @license      MIT
// @match        https://atcoder.jp/contests/*/submissions?*
// @match        https://atcoder.jp/contests/*/submissions/me?*
// @grant        none
// ==/UserScript==

(function() {
    "use strict";

    // 「すべての提出」「自分の提出」ボタンを取得
    const ul = document.querySelector("#main-container > div.row > div:nth-child(2) > ul");
    const buttons = Array.from(ul.querySelectorAll("li > a")).slice(0, 2);

    // リンク先に今の検索条件を書き加える
    buttons.forEach((button) => button.setAttribute("href", button.getAttribute("href") + location.search));
})();