Cool. el
-- Sent from Dr Lisse's iPad mini 4 > On 29 Jul 2017, at 07:00, Richard Heck <rgh...@lyx.org> wrote: > >> On 07/28/2017 07:47 PM, Dr Eberhard Lisse wrote: >> As an option, like "Compressed"? > > Yes, precisely. > > Richard > > >>> On 2017-07-27 18:48 , Richard Heck wrote: >>> [... >>> I'll think more about this. It's too late for 2.3, but it's something >>> that could go into 2.4. >>> >>> Richard >> [...] >