Hacker News new | ask | show | jobs
by sidyadav 4379 days ago
Sure -- right now, Ctrl+Number works as an alternative, so considering getting rid of Cmd+Number all together.