Hi there, i have 2 hotkeys displayed for the same commands, the one working is in the Options command, but the one in the main UI menus they are not updated. It’s a minor bug but it’s misleading information, Redo has 2 hotkeys, but Trim is not. This is Rhino 8 SR15 2025-1-13 in Windows 10 (10.0.19045 SR0.0).
