From 29f6533c7ff5082968445a3ad640ff55af7a4802 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Fri, 9 May 1997 03:19:29 +0000 Subject: [PATCH] Scroll to top of info window when done. --- Tools/webchecker/wcgui.py | 1 + 1 file changed, 1 insertion(+) diff --git a/Tools/webchecker/wcgui.py b/Tools/webchecker/wcgui.py index ae087349bc3..10c77d014da 100755 --- a/Tools/webchecker/wcgui.py +++ b/Tools/webchecker/wcgui.py @@ -264,6 +264,7 @@ def showinfo(self, url): 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)