Add a Hotkey Manager #4946
Labels
scope: addon
Related to one or multiple addons
scope: core
Related to the core script/extension workings
scope: webpages
Related to the web pages (settings page, pop-up, etc)
type: enhancement
New feature for the project
The Problem
Scratch Addons now has a ton of addons that use hotkeys/keyboard shortcuts/etc. This is great! You can perform tons of neat little actions. However, this comes with two major problems:
In #4662 (also linked below), WorldLanguages and I came to the conclusion that a hotkey section in the settings would be the best solution. However, the specifics need to be discussed, which is part of why I'm opening this.
Here's what we need to consider:
addon.json
that they would like to request a hotkey(s)?hotkey
option to the addon manifest (addon.json
)? How will users' settings be ported?Describe alternatives you've considered
Not implement a hotkey manager and let users suffer?
Issues that Demonstrate the Need for this
Issues that demonstrate compatibility issues:
#4466 and #4662
Issues that suggest keyboard shortcuts:
#4725 and #4888 (Plus probably a ton more that I'm too lazy to find)
The text was updated successfully, but these errors were encountered: