Scroll to top of info window when done.

diff --git a/Tools/webchecker/wcgui.py b/Tools/webchecker/wcgui.py
index ae087349bc3a4619f5e7c2cfbaabcdb72f6515b5..10c77d014da61e6f65e01680b43a0f60edb17aaf 100755 (executable)
--- a/Tools/webchecker/wcgui.py
+++ b/Tools/webchecker/wcgui.py
@@ -264,6 +264,7 @@ class CheckerWindow(webchecker.Checker):
            if rawlink != url:
                d.put(" (%s)" % rawlink)
            d.put("\n")
+       d.text.yview("1.0")
 
     def setbad(self, url, msg):
        webchecker.Checker.setbad(self, url, msg)