Oh danke. Ist mir nie aufgefallen.

Fix'd (beim nächsten Release dann offiziell).

Btw funzt der Undobutton in der Toolbar schon, nur der Hotkey nicht.