Change title edited file in editor to filename.
当前为
// ==UserScript==
// @name GitHub shorter title edited files
// @description Change title edited file in editor to filename.
// @author hawkeye116477, krystian3w
// @namespace https://greasyfork.org/users/167625
// @icon https://i.imgur.com/KmWlHbe.png
// @match https://github.com/*/*/edit/*/*
// @version 1.0.7
// @grant none
// @run-at document-end
// @compatible firefox Firefox
// @compatible chrome Chrome
// @compatible edge Edge
// ==/UserScript==
"use strict";
function updateTitle() {
const el = document.querySelector('[aria-label="File name"]');
if (el && el.value) {
document.title = el.value;
return true;
}
return false;
}
if (!updateTitle()) {
const observer = new MutationObserver(() => {
if (updateTitle()) observer.disconnect();
});
observer.observe(document.body, { childList: true, subtree: true });
}