BUG: Keyboard settings…
In keyboard settings, if we click a hotkey to highlight it and then press the delete key to remove it, the "restore default shortcut" button doesn't work to restore it. As for the "clear shortcut" button, it erroneously removes all hotkeys for a function instead of just removing the clicked highlighted one. Also, we need to have a confirmation button for overwriting / reassigning hotkeys, so that we don't have to manually hunt and remove existing ones first. As for the hotkeys for "developer tools", we can't single out the F12 hotkey for removal. So we are forced to use the "clear shortcut" button to remove all.