import React from 'dom-chef'; import {$, elementExists} from 'select-dom'; import onetime from 'onetime'; import features from '../feature-manager.js'; import {isEditable} from '../helpers/dom-utils.js'; function splitKeys(keys: string): DocumentFragment[] { return keys.split(' ').map(key => <> {key}); } function improveShortcutHelp(dialog: Element): void { $('.Box-body .col-5 .Box:first-child', dialog)!.after(

Refined GitHub

, ); } const observer = new MutationObserver(([{target}]) => { if (target instanceof Element && !elementExists('.js-details-dialog-spinner', target)) { improveShortcutHelp(target); observer.disconnect(); } }); function observeShortcutModal({key, target}: KeyboardEvent): void { if (key !== '?' || isEditable(target)) { return; } const modal = $('body > details:not(.js-command-palette-dialog) > details-dialog'); if (modal) { observer.observe(modal, {childList: true}); } } function init(): void { document.body.addEventListener('keypress', observeShortcutModal); } void features.add(import.meta.url, { init: onetime(init), });