Hugo Locurcio ab397460e9 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.

2021-02-13 01:37:16 +01:00

89 KiB

Raw Blame History

View Raw