A mouse button may be remapped to the Ctrl button by RButton::Ctrl. However the same code does not work