diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-06-17 12:50:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-17 12:50:36 +0200 |
| commit | dd39855c0a19f2d9a9c76b2f8b204e96d94d31e3 (patch) | |
| tree | 4d835c9aa9d956dbe2e879526d580004fbd876ae /doc | |
| parent | ba9ffbe5d766b0eeb2cb26729f53017b547eecc3 (diff) | |
| parent | f10c30a9ed6690ed98c3953a923689589f244f3b (diff) | |
Merge pull request #47796 from Calinou/editor-add-save-on-focus-loss-option
Add a "save on focus loss" editor setting (disabled by default)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions