2 ms·
Of course I realize I can change the font? We can do pretty much anything we want if we put the energy in it. I already do in my WM, terminal, vim, mutt and eve
by worksonmine 3y ago
Of course I realize I can change the font? We can do pretty much anything we want if we put the energy in it. I already do in my WM, terminal, vim, mutt and everything else on desktop. If I really wanted to I could replace the font in code and pre block as well with just a few lines of css in a user script, but ligatures is not the feature that will make me do it. Maybe to remove them, that would be an idea if they become mainstream.
You're missing my point, I don't want to have to set a special font for everything I use. Simplicity and minimalism is my way. Not VSCode + Microsoft account + github.dev, I have no use for either. I could do it in my current tools, until a client uses something else, and I would have to set it up again. Or maybe I'm in a VM, not logged into github.com and reading some repository.