Save on save

[Daniel]

On 2020-03-31 17:02, Richard Kimberly Heck wrote:
> On 3/31/20 10:37 AM, Daniel wrote:
>> On 2020-03-31 12:40, Jürgen Spitzmüller wrote:
>>> Am Dienstag, den 31.03.2020, 11:56 +0200 schrieb Daniel:
>>>> Wouldn't that cause headaches when opening the document on another
>>>> computer? Or what is a session?
>>>
>>> Depends on the workflow. If several people work on a document, it might
>>> make sense that inset states remain as the individual users set it on
>>> their respective machines, as it's a view property (which does not
>>> affect the result).
>>>
>>> Inset state is certainly a liminal category in this respect, and I
>>> think there is no one-fits-all solution.
>>
>> Sounds like a job for a preference setting to me.
> 
> Those are too global. Then someone will complain that they have some
> documents where they want inset states preserved and others where they
> don't. There's no perfect solution, and there are diminishing returns to
> refining it.
> 
> Sessions can be preserved across machines by 'sharing' the relevant
> config files.

Seems cumbersome to 'share' sessions, e.g always bring not only your 
document but also the session files with you.

Daniel