I love the idea of using multiple font faces at the same time while looking at code. I wonder if (hope?) terminals will one day soon support switching fonts with control sequences… Would be pretty awesome!

It looks like it’s not an actual height difference, but the smaller width makes the second i look significantly smaller than the first, also implying a lower height.

The difference between generating JSON and generating HTML is minimal for the server, doesn’t seem to me like server side rendered sites have significantly higher server compute costs. Also generally for SPAs, the server has to replicate whatever flow is happening on the client anyway to keep state in line (since the client can’t be trusted)

This is a great deep dive! I am curious how difficult/slow it is to extend the modern xterm interface. For example, I saw that some terminals now support squiggly underlines for errors. What would it take to build a terminal (and associated interface) that supported things like text size? (Of course it would break a lot of applications that treat the screen as a two dimensional grid)

Last time I used warp it also wasn’t super customizable. I like messing with the prompt and stuff. I wonder if that’s changed. I did get a t-shirt from them for doing a user interview though :)

I created a variant of Monokai/Monokai Soda called Monokai Vapor, available in the marketplace :)