Scott Johnston - 2001-05-30

Logged In: YES
user_id=406

More input from John Denker:

One suggestion that would make things much more user
friendly (whether or
not bitmapped images are handled):
-- Set the "filename of current file" according to the
.idraw or .eps
file that was opened.
-- Set a flag somewhere to remember the format of the
"current file"
-- The objective is that we want ^S (save) to
automatically re-write the
file in the proper format. The user can cause this to
happen
(non-automatically!) in the current version, but this is
laborious and
error-prone.