Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Customizing the interface and Using an external text editor docs #7639

Merged

Conversation

Calinou
Copy link
Member

@Calinou Calinou commented Jul 10, 2023

@Calinou Calinou added enhancement area:manual Issues and PRs related to the Manual/Tutorials section of the documentation cherrypick:4.0 cherrypick:4.1 labels Jul 10, 2023
@Calinou Calinou force-pushed the update-customizing-interface branch from ca6ec36 to dc54a08 Compare July 10, 2023 22:40
@mhilbrunner
Copy link
Member

mhilbrunner commented Jul 18, 2023

At least the part about splitting editor to separate windows in Godot 4.1+ doesn't seem cherrypickable to 4.0. Besides that, this looks good to me at first read. @Calinou thoughts?

Copy link
Contributor

@skyace65 skyace65 left a comment

Choose a reason for hiding this comment

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

Other than this not being cherrypickable to 4.0 like Mhilbrunner mentioned the PR looks good.

@mhilbrunner mhilbrunner merged commit d16bb07 into godotengine:master Jul 23, 2023
1 check passed
@mhilbrunner
Copy link
Member

Merged, thanks! For now I removed the label for cherrypicking to 4.0, let me know (or just re-add the label) if thats wrong.

@Calinou Calinou deleted the update-customizing-interface branch July 27, 2023 06:10
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 enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants