OK. As a utilitarian it seems a waste of valuable pixels to me ;-)
Perhaps someone agrees with your sense of aesthetics and will figure out how to do this. As a hint to that person, the 0.28 VTE has a style property for inner-border. It's not clear code-wise how to do this in 0.38+ vte.
OK. As a utilitarian it seems a waste of valuable pixels to me ;-)
Perhaps someone agrees with your sense of aesthetics and will figure out how to do this. As a hint to that person, the 0.28 VTE has a style property for inner-border. It's not clear code-wise how to do this in 0.38+ vte.