Skip to content

Conversation

@bferguson3
Copy link
Contributor

Removed unused filename parameter from --dump-extension-api command in GDExtension tutorial and clarified language after.

Removed unused filename parameter from --dump-extension-api command in GDExtension tutorial and clarified language after.
@mhilbrunner mhilbrunner added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation topic:gdextension labels Oct 6, 2023
@mhilbrunner mhilbrunner requested a review from paddy-exe October 8, 2023 23:45
@paddy-exe
Copy link
Contributor

I am a bit confused why you want to remove the optional file name option. Can you clarify why?

@bferguson3
Copy link
Contributor Author

bferguson3 commented Oct 9, 2023 via email

Copy link
Contributor

@paddy-exe paddy-exe left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just tested this with 4.1. You were right. The option for a custom name of the json file doesn't exist. Thanks for the correction and clarification!

@mhilbrunner mhilbrunner merged commit 796df85 into godotengine:master Oct 21, 2023
@mhilbrunner
Copy link
Member

Thanks, and congrats on your first merged PR for Godot's docs! And thanks paddy-exe for the review :)

@bferguson3
Copy link
Contributor Author

Thanks all!

mhilbrunner added a commit that referenced this pull request Nov 11, 2023
Update gdextension_cpp_example.rst (Clarification rwt dump extension API)
@mhilbrunner
Copy link
Member

Cherry-picked to 4.1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.0 enhancement topic:gdextension

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants