From c69de2ba46463adeadf90f38660d6b6e034d7e0b Mon Sep 17 00:00:00 2001
From: Juan Linietsky <reduzio@gmail.com>
Date: Thu, 19 Jul 2018 18:58:15 -0300
Subject: -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

---
 core/os/os.cpp | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'core/os/os.cpp')

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;
 
-- 
cgit v1.2.3