GitHub Custom Hotkeys

A userscript that allows you to add custom GitHub keyboard hotkeys

Vous devrez installer une extension telle que Tampermonkey, Greasemonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Userscripts pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension de gestionnaire de script utilisateur pour installer ce script.

(J'ai déjà un gestionnaire de scripts utilisateur, laissez-moi l'installer !)

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

(J'ai déjà un gestionnaire de style utilisateur, laissez-moi l'installer!)

Auteur
Mottie
Installations quotidiennes
0
Installations (total)
154
Notes
8 0 0
Version
1.1.5
Créé
11/04/2016
Mis à jour
17/02/2024
Taille
18,8 ko
Licence
MIT
S'applique à

A userscript that allows you to add custom GitHub keyboard hotkeys

  • Keyboard shortcuts are added using GitHub's "hotkey" method.
  • A hotkey will not execute any code, it is set up to only be associated with a URL.
  • Custom hotkeys in this userscript can be scoped to specific GitHub URLs so they only work on those pages.
  • Adding a definition using this script will override GitHub's built-in hotkeys, so please be aware of this fact!
  • It might be best to use a key sequence that GitHub doesn't already use (e.g. g 1, g 2, etc).
  • JSON code can be copied from or pasted into this userscript settings panel to make it easy to transfer your hotkeys to and from other computers.
  • Definitions set by this userscript are not added to GitHub's "Keyboard shortcuts" panel (opened by pressing ?).

Hosted with ♥ at GitHub