Yep, I agree. Probably it's worth to provide a list of default modes too, as gnome-terminal does: 80x24, 80x43, 132x24 and 132x43.
@Alan: That's something I was playing on some week ago. I took that screenshot for a discussion I had with Niklas about the desktop UI. :)
« Back to merge proposal
Yep, I agree.
Probably it's worth to provide a list of default modes too, as gnome-terminal does: 80x24, 80x43, 132x24 and 132x43.
@Alan: That's something I was playing on some week ago. I took that screenshot for a discussion I had with Niklas about the desktop UI. :)