From 182b5aca27d376b08a2904bed42b751496f932f3 Mon Sep 17 00:00:00 2001 From: Tim Peters Date: Sun, 18 Jul 2004 06:16:08 +0000 Subject: Whitespace normalization, via reindent.py. --- Tools/webchecker/wcgui.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'Tools/webchecker/wcgui.py') diff --git a/Tools/webchecker/wcgui.py b/Tools/webchecker/wcgui.py index e467d922990..96aed0a6b28 100755 --- a/Tools/webchecker/wcgui.py +++ b/Tools/webchecker/wcgui.py @@ -10,17 +10,17 @@ Checkpoints are not (yet??? ever???) supported. User interface: -Enter a root to check in the text entry box. To enter more than one root, +Enter a root to check in the text entry box. To enter more than one root, enter them one at a time and press for each one. -Command buttons Start, Stop and "Check one" govern the checking process in -the obvious way. Start and "Check one" also enter the root from the text +Command buttons Start, Stop and "Check one" govern the checking process in +the obvious way. Start and "Check one" also enter the root from the text entry box if one is present. There's also a check box (enabled by default) to decide whether actually to follow external links (since this can slow the checking down considerably). Finally there's a Quit button. -A series of checkbuttons determines whether the corresponding output panel -is shown. List panels are also automatically shown or hidden when their +A series of checkbuttons determines whether the corresponding output panel +is shown. List panels are also automatically shown or hidden when their status changes between empty to non-empty. There are six panels: Log -- raw output from the checker (-v, -q affect this) -- cgit v1.2.3