]> granicus.if.org Git - python/commitdiff
Scroll to top of info window when done.
authorGuido van Rossum <guido@python.org>
Fri, 9 May 1997 03:19:29 +0000 (03:19 +0000)
committerGuido van Rossum <guido@python.org>
Fri, 9 May 1997 03:19:29 +0000 (03:19 +0000)
Tools/webchecker/wcgui.py

index ae087349bc3a4619f5e7c2cfbaabcdb72f6515b5..10c77d014da61e6f65e01680b43a0f60edb17aaf 100755 (executable)
@@ -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)