'save_precision' doesn't work

[John W. Eaton]

On 24-Dec-2008, Jaroslav Hajek wrote:

| Well, this is, in fact, correct. The help for save_precision says that
| it's the default precision for the "text" format (save -text), not the
| "ascii" format.
| The ascii format has a precision of 8 digits. The best option here is
| probably to support also -double and -tabs for -ascii. Currently,
| they're unsupported.

Most of the work for handling -double was already done.  I checked in
the following change.

jwe

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: diffs
Url: https://www-old.cae.wisc.edu/pipermail/bug-octave/attachments/20081224/ac61519b/attachment.ksh