☰

GitHub shorter title edited files

Change title edited file in editor to filename.

Verze ze dne 21. 03. 2023. Zobrazit nejnovější verzi.

// ==UserScript==
// @name            GitHub shorter title edited files
// @description     Change title edited file in editor to filename.
// @author          hawkeye116477
// @icon            https://i.imgur.com/KmWlHbe.png
// @match           https://github.com/*/*/edit/master/*
// @version         1.0.3
// @grant           none
// @run-at          document-idle
// @compatible      firefox Firefox
// @compatible      chrome Chrome
// @compatible      edge Edge
// @namespace https://greasyfork.org/users/167625
// ==/UserScript==

document.title = document.getElementsByClassName("js-blob-filename")[0].value;
document.title = document.querySelectorAll('[aria-label="File name"]')[0].value;