K 10 svn:author V 3 sos K 8 svn:date V 27 1995-04-25T10:22:28.000000Z K 7 svn:log V 97 Added mark_all() call so that screen is proberly updated when scroll-lock history is disengaged. END