Proposal to add a flag

Hi, I'd like to add a flag to Hugs, which if set, will disable the saving of options into the registry. In GHCi all options via :set are temporary, in Hugs they are saved permanently. This flag would never be saved into the registry, so could not be set permanently. The reason for this is GuiHaskell [1]. The first step it takes is to change the prompt to something silly, so it can detect when a computation has finished. Currently this prompt is saved, which is confusing when you next launch Hugs. The alternative is to introduce a GuiHaskell flag to Hugs. If we had this, we could also add some subtle improvements like support for interact into GuiHaskell. Thanks Neil [1] http://www-users.cs.york.ac.uk/~ndm/guihaskell/