3 ms·vertical tabs are a great idea for ghostty!by warthog 8mo agovertical tabs are a great idea for ghostty!