| commit | 29f6533c7ff5082968445a3ad640ff55af7a4802 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Fri May 09 03:19:29 1997 +0000 |
| committer | Guido van Rossum <guido@python.org> | Fri May 09 03:19:29 1997 +0000 |
| tree | 174eb5456c5c2435a9c0aaadb54e017c59500e15 | |
| parent | ff2ea728b8bab03464af8d22660ffb5754ace0c5 [diff] [blame] |
Scroll to top of info window when done.
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 @@ 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)