Revert checking for pretty_print check box status

This allows a just openned worksheet to use the previous
pretty_print/typeset setting.  Otherwise it is ignored until the user
clicks on the checkbox.