In Windows, such things, as well as any other key (and mouse) remapping can be done using an autohotkey script, http://www.autohotkey.com/
Alec Mihailovs --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
