Sigbjorn Finne told me "I'll fix this in the next release, but creating your own shortcuts sounds like the simplest way out."
For those unfamiliar with creating Windows shortcuts, an easy way to do this is:
1) navigate to the WinHugs.exe file,
2) right-click,
3) select Send to desktop (Create shortcut).
4) drag or copy the shortcut to wherever you want it.
If you wish to set WinHugs command line options in your shortcut
1) right-click on the shortcut after you have created it
2) select Properties
3) Type your selected command line options at the end of target line
Hope this is helpful and not too elementary.
--Greg Ballinger
_______________________________________________ Hugs-Users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/hugs-users