>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
| How about a File -> compressed menu item? Save As to something with | the same name seems to be weird. Lars> Perhaps. But I think Save As need the option anyway. Currently compressed is a bufferparams option. Adding a 'compress file' checkbox to document settings would be both trivial and reasonably accurate. JMarc
