--- src/Fl_Help_View.cxx 2004-09-24 18:00:10.000000000 +0200 +++ src.modified/Fl_Help_View.cxx 2004-12-06 22:32:06.546340216 +0100 @@ -2597,7 +2597,6 @@ scrollbar_.value(topline_, h() - 24, 0, size_); - set_changed(); do_callback(); redraw();