Multi Gnome Terminal 1.3.0 is out!

[Cristiano De Michele <cristiano demichele na infn it>]

Multi Gnome Terminal 1.3.0 Releas Notes:
Several bugs have been fixed:
1)closing the window the shell now store history file
2) all user defined commands don't
 depend now upon class.
Also many enhancements have been added:
1) the background pixmap can be tinted and shaded as Eterm does;
2) Background image can be scaled or tiled;
3) you can remove classes,which you don't need any more;
4) each terminal can set its window title (by escape sequences for
example) and switching terminal, window title switches too,
besides you can put titles in tabs if you  want, and you can even choose
the maximum lenght of tab text!
download it from  http://multignometerm.sourceforge.net

enjoy Cristiano