Question: How to change hotkey Ctrl-D?

[237dmitry]

How to do it in such a way that the close button does not display KEY_F(10) but simply F10.

PS > (Get-Content $env:AppData\musikcube\settings.json | ConvertFrom-Json).AppQuitKey
KEY_F(10)

[clangen]

Going to re-open this, as I always knew this day would come! I used to be adamant that CTRL+D was the "correct" way to close a terminal app, and had this this as one of the only hard-coded values in the app... however, now I think it's worth re-considering the ability to change the key used to quit the app. Let me give it a bit of thought. :)

[237dmitry]

Let me give it a bit of thought.

Thank you for your attention. I think it would be better to add in settings.json or in hotkeys.json display parameter for key combination. I do not know how it implement, just for example for F10:

{
    "AppQuitKey": {
        "key": "KEY_F(10)",   // this is for functionality
        "display": "F10"      // this is for display in the interface.
    },
....
}

By default:

{
    "AppQuitKey": {
        "key": "^D",
        "display": "^D"
    },
....
}

In fact, the current settings are fine, but I constantly catch myself wanting to press F10, since the applications that I use (mc, Far) use this key to close the application. I.e. it's just a habit.