You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-04 12:00:25 +00:00
-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
This commit is contained in:
@@ -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;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user