☰

selector_fi

講義ページのプログラムをワンクリックで選択

Nasıl kurarım

Bu betiği kurabilmeniz için Tampermonkey, Greasemonkey ya da Violentmonkey gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği yüklemek için Tampermonkey gibi bir uzantı yüklemeniz gerekir.

Bu betiği kurabilmeniz için Tampermonkey ya da Violentmonkey gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği kurabilmeniz için Tampermonkey ya da Userscripts gibi bir kullanıcı betiği eklentisini kurmanız gerekmektedir.

Bu betiği indirebilmeniz için ayrıca Tampermonkey gibi bir eklenti kurmanız gerekmektedir.

Bu komut dosyasını yüklemek için bir kullanıcı komut dosyası yöneticisi uzantısı yüklemeniz gerekecek.

(Zaten bir kullanıcı komut dosyası yöneticim var, kurmama izin verin!)

Nasıl kurarım

Bu stili yüklemek için Stylus gibi bir uzantı yüklemeniz gerekir.

Bu stili yüklemek için Stylus gibi bir uzantı kurmanız gerekir.

Bu stili yükleyebilmek için Stylus gibi bir uzantı yüklemeniz gerekir.

Bu stili yüklemek için bir kullanıcı stili yöneticisi uzantısı yüklemeniz gerekir.

Bu stili yüklemek için bir kullanıcı stili yöneticisi uzantısı kurmanız gerekir.

Bu stili yükleyebilmek için bir kullanıcı stili yöneticisi uzantısı yüklemeniz gerekir.

(Zateb bir user-style yöneticim var, yükleyeyim!) 

// ==UserScript==
// @name        selector_fi
// @namespace   https://twitter.com/akameco
// @include     http://www.cue.im.dendai.ac.jp/*
// @include     https://www.mlab.im.dendai.ac.jp/*
// @include     http://www.mlab.im.dendai.ac.jp/*
// @version     1
// @grant       none
// @description 講義ページのプログラムをワンクリックで選択
// ==/UserScript==
(function () {
  var a = document.getElementsByTagName('pre');
  var rng = document.createRange();
  var select = function (ev) {
    rng.selectNodeContents(ev.target.nextSibling);
    window.getSelection().addRange(rng);
  };
  for (var i = 0; i < a.length; i++) {
    var button = document.createElement('button');
    button.innerHTML = '選択';
    a[i].parentElement.insertBefore(button, a[i]);
    button.style.padding = '3px 12px';
    button.style.cursor = 'pointer';
    button.addEventListener('click', function (event) {
      select(event);
    }, false);
  }
}) ();