<div>WinGHCi options are stored under HKEY_CURRENT_USER\Software\Haskell\WinGhci<version> in the Windows registry.</div>
<div> </div>
<div>Cheers,</div>
<div>Pepe<br><br></div>
<div class="gmail_quote">2009/11/7 Henk-Jan van Tuyl <span dir="ltr"><<a href="mailto:hjgtuyl@chello.nl">hjgtuyl@chello.nl</a>></span><br>
<blockquote style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex" class="gmail_quote"><br>L.S.,<br><br>I changed the options in WinGHCi and now WinGHCi is stuck in a loop each time I start it; how can I edit the options? I cannot find them in the registry.<br>
<br>-- <br>Met vriendelijke groet,<br>Henk-Jan van Tuyl<br><br><br>--<br><a href="http://van.tuyl.eu/" target="_blank">http://Van.Tuyl.eu/</a><br><a href="http://members.chello.nl/hjgtuyl/tourdemonad.html" target="_blank">http://members.chello.nl/hjgtuyl/tourdemonad.html</a><br>
<font color="#888888">--<br>_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</font></blockquote></div><br>