> Ok. Q: did you check that you are able to decompress files compressed > with the old gzstream?
Yes. > If that is working I think you should just commit this. Done > btw. The changes you have for config/common.am are already in, right? Yes. After this patch, I hope I can find some time to implement this: 1. add a toolbar icon that has three states: disabled (no compression support), zipped (file is in compressed format), unzipped (file is in plain text format) 2. user can click the icon and switch between zipped/unzipped state, and the file will be saved accordingly. The file name will still be .lyx, without .gz suffix. Sounds like a good plan? Bo
