AtCoder Search Query Holder

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

Version vom 25.02.2023. Aktuellste Version

Du musst eine Erweiterung wie Tampermonkey, Greasemonkey oder Violentmonkey installieren, um dieses Skript zu installieren.

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

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

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

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

Sie müssten eine Skript Manager Erweiterung installieren damit sie dieses Skript installieren können

(Ich habe schon ein Skript Manager, Lass mich es installieren!)

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.

(I already have a user style manager, let me install it!)

// ==UserScript==
// @name         AtCoder Search Query Holder
// @namespace    https://twitter.com/cpg_tea
// @version      1.0
// @description  「すべての提出」「自分の提出」ページを遷移し合うときに検索条件を保持する
// @author       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));
})();