user visible changes since 1.2:
	* fixed some problems with gnome (fixed by
	  Tom Palmer <tmp1@dcs.qmw.ac.uk>)  

