6 ms·
I've been using this for a few weeks, and really love it. It is definitely worth patching your vim font (although not very well documented). You can use `:set
by morpher 15y ago
I've been using this for a few weeks, and really love it. It is definitely worth patching your vim font (although not very well documented).
You can use `:set guifont` in gvim to determine your font. Then, just run the included fontpatcher python script on the correct font to add the new symbols. Note that this script requires installing the fontforge python package (python-fontforge on ubuntu). Then tell gvim to use the patched font with `:set guifont=<fontname>`.
- Lokaltog 15y agoThat's good to know, I'll include it in the documentation.