On 06/23/2016 11:02 AM, Guillaume Munch wrote: > Dear list, > > I am thinking of adding the "Save transient properties" checkbox > (disabling the save of \origin, \tracking_changes, \output_changes) to > the "document class" panel, for lack of a better place. This panel > already contains other settings unrelated to the document class. > > Can you think of a better place? Of a better label? Thank you for any > advice.
No, that looks like the best choice. rh
