diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-05-12 03:12:59 +0200 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-08-01 14:06:13 +0200 |
commit | 1b713175b2de9d0aad3554a9add94b5518ee5648 (patch) | |
tree | 0327c0d673497f1888a6ff031970e63496571187 /thirdparty/harfbuzz/src/hb-subset-cff2.cc | |
parent | 9ec6de1767292b5cbc1ebdc7b262ef1d9c63df9a (diff) |
Expose the "restart on exit" OS functionality
This can be used to restart a project with specific command line arguments
applied. This can work in tandem with `OS.get_cmdline_args()` to restart
with the same command line arguments as used to originally run the project.
Example use cases:
- Restart to apply an user setting change that requires a restart to work.
- Restart with a Godot command line argument to change the video driver,
audio driver, etc.
Diffstat (limited to 'thirdparty/harfbuzz/src/hb-subset-cff2.cc')
0 files changed, 0 insertions, 0 deletions