Thanks to visit codestin.com
Credit goes to github.com

Improve handling of external changes#1288

Closed

jeremypw wants to merge 11 commits intomasterfrom

fix-external-edit

Commits on Mar 23, 2023

Ignore external changes after "Continue"
Jeremy Wootten
committed

Commits on Mar 24, 2023

Reload or Overwrite options
Jeremy Wootten
committed
Merge branch 'master' into fix-external-edit
Jeremy Wootten
authored

Commits on Mar 27, 2023

Merge branch 'master' into fix-external-edit
Jeremy Wootten
committed

Commits on Mar 28, 2023

Merge branch 'master' into fix-external-edit
Jeremy Wootten
authored

Commits on Apr 15, 2023

Merge branch 'master' into fix-external-edit
zeebok
authored

Commits on Apr 17, 2023

Check file status on save request
Jeremy Wootten
committed
Check status on autosave
Jeremy Wootten
committed
Do not check for external changes while is_saving true
Jeremy Wootten
committed
Block focus actions when inhibit_autosave true
Jeremy Wootten
committed
Connect focus in for new document
Jeremy Wootten
committed