sos a78406f8de Added mark_all() call so that screen is proberly updated
when scroll-lock history is disengaged.
1995-04-25 10:22:28 +00:00
..
1995-03-28 12:29:11 +00:00
1995-03-28 21:30:13 +00:00
1994-08-02 07:55:43 +00:00
1995-02-27 19:47:53 +00:00