Hacker News new | ask | show | jobs
by jasonjmcghee 102 days ago
I use shift+shift and type for all three of these.

Although i do use cmd+shift+r for global replace