Ctrl+Shift+3 for sharp shortcut in text entry?
The hardcoded shortcut for sharps is ctrl+shift+#. That makes it inaccessible for some keyboards (German, Belgian, Spanish).
Adding an alternative shortcut of ctrl+shift+3 (the key from which # is accessed, after all), would make it compatible with the Spanish keyboard. Would it also make it compatible with German and Belgian keyboards?
[Edit: after downloading the keyboard layouts and trying them:
adding ctrl+shift+3 would add support for the shortcut for QWERTZ and Spanish QWERTY.
adding ctrl+shift+" would add support for the shortcut for AZERTY.]