A minor bug in the editor

You have UNDO (Ctrl+Z) in the editor, but not REDO (Ctrl+Y), and they are both out of the 'edit' menu. Please either enable REDO or disable UNDO.

There aren't menu entries neither for Undo nor for Redo but both commands exist. You can see the assigned short-cut (if any) at Tools-> Preferences-> Short-cuts-> SQL editing:

(If you ask me, they should really be under the Edit menu.)

Thank you! (If you ask me, the defaults should be Ctrl+Z and Ctrl+Y.)