>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:

Enrico> Why not adding it as an option when choosing "File->Save
Enrico> As..."? A "Compressed LyX Document" could be added to the
Enrico> "File type" combobox.

Not really, since it is not another file we want to produce. It is the
file that is currently edited that should be in compressed format.

Jmarc

Reply via email to