There are two bugs I have encountered when I try to use optionsToStr() for
printing and reading options to and from a file:
The first is that despite that the option is
-p"%s> "
optionsToStr() prints it as
-p"> "
Then the second is that despite the option is
-E""
when printing out with the command :s, it prints out as
Editor setting : -E
There is a subtle difference: The command -E means to Hugs that there is no
editor available, and thus editor commands will be ignored. On the other
hand -E"" means that an editor has been set and its name is the empty
string, in other words, the computer is expected to know which editor is
intended, which happens to be the case on Macs. On Macs, files have a
creator name indicating which program the file should default a launch to,
so an explicit editor is unneeded.
Please come up with a quick fix.
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
