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

WIP: new file editor view #8442

Closed
wants to merge 1 commit into from
Closed

Conversation

diocas
Copy link
Contributor

@diocas diocas commented Feb 15, 2023

@update-docs
Copy link

update-docs bot commented Feb 15, 2023

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

@JammingBen
Copy link
Collaborator

Closing in favour of #8447.

@JammingBen JammingBen closed this Feb 17, 2023
@elizavetaRa elizavetaRa deleted the up_topbar branch May 31, 2023 15:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants