Extension shortcuts may override default shortcuts

[frankrolf]

See for example here:
https://github.com/LettError/editThatNextMasterRoboFontExtension/issues/6

Would it be possible to think of a mechanism that checks for the existence of default/user-defined shortcut before allowing an extension to override the same combination?

[frederik]

And by further in-depth research... and rereading my own code :) RoboFont already ignores existing short cuts for extensions.

[gferreira]

added a note about short keys to Extension File Spec > Menu Item Description.

[frederik]

a warning will be printed in future versions!

[frederik]

And by further in-depth research... and rereading my own code :) RoboFont already ignores existing short cuts for extensions.

[frederik]

an extension can look that up...

from mojo.UI import shortKeyExists, createModifier

m = createModifier(command=True)

print(shortKeyExists((m, 'q')))

maybe RF should warn if this happens... :)

[frankrolf]

@frederik What if the extension developer is completely unaware they are overwriting a default?

[frederik]

Its not allowed to set a new short cut in the prefs, fe:

An extension can idd overwrite an existing short cut. I kinda like that... its up to extension dev to check this, or to users to report this.