WinHugs, prettier file listings

[Neil Mitchell]

Hi,

On WinHugs, when you get a listing of all files loaded, each file is
pretty long. Most of it corresponds to either the {Hugs} prefix, or
the current directory prefix. This adds no useful information. This
patch makes the listing replace the prefix with {Hugs} or . if it can
safely. It also fixes up the editor loading to add this information
back in. It also abstracts the filename outputting for Windows,
instead of going down WinHugsHyperlink (which was a little bit
unclean).

Thanks

Neil
-------------- next part --------------
A non-text attachment was scrubbed...
Name: pretty_listings.patch
Type: application/octet-stream
Size: 4119 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/cvs-hugs/attachments/20051004/de723192/pretty_listings.obj