[Feature Request]: Use function keys to switch desktops

[cesera]

What feature?

I love this app, it actually makes virtual desktops useable. I have one request. Would it be possible to add an option to use the function keys to change desktop, so Alt+F#, Ctrl+F#, etc. I have used Ctrl+F# in Linux for the last 20 years, and it is a very hard habit to unlearn.

Windows Version

Windows 11

[ymcanict]

While I am (impatiently, sorry) waiting for flmbray's changes to go live I came across the ability to add custom hot keys. My config now looks like this (I removed the comments), but the custom hot keys are not working for me. I presume I just am going to have to be patient.

feature.showPrevNextIcons: false
feature.useHotKeyToJumpToDesktopNumber: true
feature.showDesktopSwitchOverlay.duration: 2000
feature.useHotKeyToJumpToDesktopNumber.hotkey: "Alt"
general.startupWithWindows: true

hotkeys.myCustomHotkey1 = "Ctrl + F1 = Desktop1"
hotkeys.myCustomHotkey2 = "Ctrl + F2 = Desktop2"
hotkeys.myCustomHotkey3 = "Ctrl + F3 = Desktop3"
hotkeys.myCustomHotkey4 = "Ctrl + F4 = Desktop4"
hotkeys.myCustomHotkey5 = "Ctrl + F5 = Desktop5"
hotkeys.myCustomHotkey6 = "Ctrl + F6 = Desktop6"
hotkeys.myCustomHotkey7 = "Ctrl + F7 = Desktop7"
hotkeys.myCustomHotkey8 = "Ctrl + F8 = Desktop8"
hotkeys.myCustomHotkey9 = "Ctrl + F9 = Desktop9"
hotkeys.myCustomHotkey10 = "Ctrl + F10 = Desktop10"

If anyone can tell me how to get this working until it gets integrated in the settings UI, I would be very grateful.