Re:Being more efficient on GitHub
by acid303 on Saturday December 07, 2019 @05:24AM
(#21729487)
Nice! Another option is to use a plugin that lets you edit textfields in an external editor: https://github.com/jlebon/textern
[ Parent
| on HN ]
There are no comments on this comment yet.