small gui changes; fix for workspace
fix navigator resize problem