-project settings are saved when changed

-load() was in the GDScript docs but missing in the scripting-different music for platformer 2D and 3D
-fix how documentation is generated, built in doc browser should be always up to date
-copypaste, scrolling, etc in  builtin doc
-built-in scripts get saved now (though debugger may not always work on them)
-Theme can be set to controls as a property

1 files changed, 1 insertions, 9 deletions

diff --git a/main/main.cpp b/main/main.cpp
index 48f16b303c..21fb61c81e 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -797,7 +797,6 @@ bool Main::start() {
 
 	bool editor=false;
 	String doc_tool;
-	String doc_header;
 	bool doc_base=true;
 	String game_path;
 	String script;
@@ -820,10 +819,6 @@ bool Main::start() {
 
 			doc_tool=args[i+1];
 			i++;
-		} else if (args[i]=="-docheader" && i <(args.size()-1)) {
-
-			doc_header=args[i+1];
-			i++;
 		}else if (args[i]=="-nodocbase") {
 
 			doc_base=false;
@@ -899,10 +894,7 @@ bool Main::start() {
 
 		}
 
-		if (doc_header.length())
-			doc.save_compressed_header(doc_header);
-		else
-			doc.save(doc_tool);
+		doc.save(doc_tool);
 
 		return false;
 	}