Marco Pesenti Gritti 490c146da9 Ellipsize tabs only when necessary (unknown title size basically)		2006-04-21 18:34:41 -04:00
..
shell.py	Ellipsize tabs only when necessary (unknown title size basically)	2006-04-21 18:34:41 -04:00