Comment 3 for bug 1472689

Revision history for this message
Stephen Boddy (stephen-j-boddy) wrote :

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.