☰

AOJLanguageSetting

ja

  1. // ==UserScript==
  2. // @name         AOJLanguageSetting
  3. // @namespace    https://Luzhiled.github.io
  4. // @version      1.1
  5. // @author       Luzhiled
  6. // @description  ja
  7. // @include      *judge.u-aizu.ac.jp/onlinejudge/status.jsp*
  8. // @grant        GM_setValue
  9. // @grant        GM_getValue
  10. // ==/UserScript==
  11.  
  12. (function() {
  13.   'use strict';
  14.  
  15.   let submit_language = document.getElementById('submit_language').childNodes;
  16.   function check() {
  17.     for (let i = 0; i < submit_language.length; ++i) {
  18.       if (submit_language[i].selected) {
  19.         if (GM_getValue("submit_language", 4) != i) {
  20.           console.log(`change language\n${submit_language[GM_getValue("submit_language", 4)].value} -> ${submit_language[i].value}`);
  21.         }
  22.         GM_setValue("submit_language", i);
  23.       }
  24.     }
  25.  
  26.     setTimeout(function(){check();}, 100);
  27.   }
  28.  
  29.   submit_language[GM_getValue("submit_language", 4)].selected = true;
  30.   check();
  31. })();