diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-06-26 02:56:31 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-11-01 00:02:55 +0100 |
| commit | 264ce15a8312497ec038d920246f1aaf7b505175 (patch) | |
| tree | 2f62833841e7a9609edea9c62ce1cac7f65553af /thirdparty/fonts | |
| parent | c29fe310f1b782cbf588ccf7040cf1606eba6769 (diff) | |
Warn if available disk space is low when Movie Maker mode is enabled
Saving movies can require a lot of disk space, and running out of disk
space may cause the entire recording to have to be redone.
This also prints a message on startup to state that Movie Maker mode
is enabled, along with the requested framerate. Since Movie Maker mode
forces non-real-time simulation, it's important to know that it is
enabled when starting the project.
Diffstat (limited to 'thirdparty/fonts')
0 files changed, 0 insertions, 0 deletions