diff options
| author | Guido van Rossum <guido@python.org> | 1997-05-09 03:19:29 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1997-05-09 03:19:29 (GMT) |
| commit | 29f6533c7ff5082968445a3ad640ff55af7a4802 (patch) | |
| tree | 174eb5456c5c2435a9c0aaadb54e017c59500e15 /Tools/webchecker/wcgui.py | |
| parent | ff2ea728b8bab03464af8d22660ffb5754ace0c5 (diff) | |
| download | cpython-29f6533c7ff5082968445a3ad640ff55af7a4802.zip cpython-29f6533c7ff5082968445a3ad640ff55af7a4802.tar.gz cpython-29f6533c7ff5082968445a3ad640ff55af7a4802.tar.bz2 | |
Scroll to top of info window when done.
Diffstat (limited to 'Tools/webchecker/wcgui.py')
| -rwxr-xr-x | Tools/webchecker/wcgui.py | 1 |
1 files changed, 1 insertions, 0 deletions
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) |