Yeah, they really are a pain, hopefully we can transfer to another terminal emulator for it (I'm one of the main developers). Also as an aside, that's actually

Yeah, they really are a pain, hopefully we can transfer to another terminal emulator for it (I'm one of the main developers). Also as an aside, that's actually a linked video, github just does a REALLY bad job of showing that off. I'm going to have to make that more clear.