Hacker News new | ask | show | jobs
by RheingoldRiver 1577 days ago
Try Ctrl! It's much easier to reach than the normal ctrl key. If you're on Windows, RandyRants' SharpKeys is a great utility to do the registry edits for you.