diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-07-19 18:58:15 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2018-07-19 19:02:04 -0300 |
commit | c69de2ba46463adeadf90f38660d6b6e034d7e0b (patch) | |
tree | ddeb1c8e40c080a6544eba86fc12f138b54be0ed /core/os/os.cpp | |
parent | 76bfe14e00ee5c8b65275d8b8e0c4cdc25b4b899 (diff) | |
download | redot-engine-c69de2ba46463adeadf90f38660d6b6e034d7e0b.tar.gz |
-Project/Editor settings now use new inspector
-Project/Editor settings now show tooltips properly
-Settings thar require restart now will show a restart warning
-Video driver is now visible all the time, can be changed easily
-Added function to request current video driver
Diffstat (limited to 'core/os/os.cpp')
-rw-r--r-- | core/os/os.cpp | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/core/os/os.cpp b/core/os/os.cpp index d0a7bc6fbe..f99e98c240 100644 --- a/core/os/os.cpp +++ b/core/os/os.cpp @@ -659,6 +659,18 @@ const char *OS::get_audio_driver_name(int p_driver) const { return AudioDriverManager::get_driver(p_driver)->get_name(); } +void OS::set_restart_on_exit(bool p_restart, const List<String> &p_restart_arguments) { + restart_on_exit = p_restart; + restart_commandline = p_restart_arguments; +} + +bool OS::is_restart_on_exit_set() const { + return restart_on_exit; +} +List<String> OS::get_restart_on_exit_argumens() const { + return restart_commandline; +} + OS::OS() { void *volatile stack_bottom; |