jeffd
committed
on 03 Oct 03
ui tweaks from Gabriel Burca patch 301