If you don't already know, instead of rebooting, often it's sufficient to log off and log back on again. And it's about 10 times quicker. Harry Binswanger hb@xxxxxxxx
Harry Binswanger hb@xxxxxxxx