Tue Dec 6 16:30:28 WET 2005 Malcolm.Wallace@cs.york.ac.uk
* Avoid "Excess text" warning when editing an info field.
Previously, if there was trailing blank space after the edited field,
you got this warning. Now it only warns if there is trailing non-blank
text that was not consumed by the parser.
{
hunk ./src/NetworkControl.hs 29
+import Char (isSpace)
hunk ./src/NetworkControl.hs 394
- do{ when (not (null s)) $
+ do{ when (not (null s || all isSpace s)) $
hunk ./src/NetworkControl.hs 421
- do{ when (not (null s)) $
+ do{ when (not (null s || all isSpace s)) $
hunk ./src/NetworkControl.hs 454
- do{ when (not (null s)) $
+ do{ when (not (null s || all isSpace s)) $
}