From 29f6533c7ff5082968445a3ad640ff55af7a4802 Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Fri, 9 May 1997 03:19:29 +0000
Subject: 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 ae08734..10c77d0 100755
--- 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)
-- 
cgit v0.12