Fixes #837.  Rewrite gtk_xtext_scroll{down,up}_timeout().