added view option that the size of the box is adjusted to the text size
added view option that the size of the box is adjusted to the text size


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@655 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware