Marco Pesenti Gritti 79764c7d4f Add a method to show/hide close buttons on the tab		2006-04-21 15:53:26 -04:00
..
shell.py	Add a method to show/hide close buttons on the tab	2006-04-21 15:53:26 -04:00