diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-12-15 15:31:04 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-02-13 01:37:16 +0100 |
| commit | ab397460e9f8ea36414eb1b11d76c3e223decdcc (patch) | |
| tree | 1d16317a797b0e179443691bb334e035d845fd11 /thirdparty | |
| parent | 45c6d3c5767f0ebc60ef1334aec5720680191eec (diff) | |
Expose a `File.flush()` method to scripting
This can be used to ensure a file has its contents saved
even if the project crashes or is killed by the user
(among other use cases).
See discussion in #29075.
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions