minor gui improvements :

2008-07-15, etisserant