Hugo Locurcio 6c6f4e9895 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.

(cherry picked from commit ab397460e9)

2021-02-16 14:27:38 +01:00

20 KiB

Raw Blame History

View Raw