[Solved] Editor: allow changing single-key shortcuts for Tools

[forum_adm]

And the tooltips show incorrect keyboard shortcuts

will be fixed in build 5714.

[es]

⌃⌥+X key is fixed, now X doesn't switch to any tool, thanks!
tooltips are also fixed, I think I had to close the editor window and open it again (even though I did restart the app)

So then the only minor fixes remaining

• making ⌃⌥⌫ work for the eraser tool
• allowing double press of a keybind invoke the double click menu to eliminate the inconvenience of hunting a small button. Or maybe add another command that would open the active tool's extra menu, this would help for the tool buttons with multiple sub-tools — you would double press to select another tool and then invoke this special command to invoke a selected tool's menu?

The major fix would be a more advanced keybinding system that would be a great fit for such a keybinding rich app :), but you've already ruled that out