Re:History and Effective Use of Vim
by kej on Friday July 19, 2019 @11:52PM
(#20484103)
It's a registry edit, but SharpKeys is a small GUI for editing that part of the registry: https://github.com/randyrants/sharpkeys
[ Parent
| on HN ]
There are no comments on this comment yet.