1
0
mirror of https://github.com/godotengine/godot.git synced 2026-01-05 19:31:35 +00:00

Merge pull request #103137 from dsnopek/extension-api-precision

GDExtension: Include precision in `extension_api.json`
This commit is contained in:
Thaddeus Crews
2025-03-07 15:12:47 -06:00

View File

@@ -118,6 +118,12 @@ Dictionary GDExtensionAPIDump::generate_extension_api(bool p_include_docs) {
header["version_build"] = VERSION_BUILD;
header["version_full_name"] = VERSION_FULL_NAME;
#if REAL_T_IS_DOUBLE
header["precision"] = "double";
#else
header["precision"] = "single";
#endif
api_dump["header"] = header;
}