Double right-click to undo

[mmahmoudian]

Thanks for the great software.

Is your feature request related to a problem? Please describe.
the F[0-9] keys are relatively inaccessible, so having undo bound to them (esp F8) make it very hard when the user has one hand already on the mouse.

Describe the solution you'd like
Considering that the hand is already on the mouse while doodling/annotating, it would be nice to have more controls bound to mouse keys. I propose having double right-click being bound to undo.

Describe alternatives you've considered
Alternatively, you can use right-click(and hold)+scroll to do undo and redo at the same time. In other words, going back and forth in history by holding down right-click and scrolling up or down.

Additional context
-- nothing comes to my mind --