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

Addition of an environment banner #311

Merged
merged 8 commits into from
Aug 12, 2022
Merged

Conversation

elpoelma
Copy link
Contributor

This PR adds an environment banner which includes the environment name and application version. Additionally it provides a button which leads to an overview of the editor version and the versions of the editor-plugins installed.
It is still to be seen if the way how the environment is populated with the package versions is a desirable one.

@elpoelma elpoelma added the enhancement New feature or request label Aug 10, 2022
@elpoelma elpoelma requested review from nvdk and abeforgit August 10, 2022 09:09
@elpoelma elpoelma self-assigned this Aug 10, 2022
@elpoelma elpoelma marked this pull request as ready for review August 12, 2022 08:01
@elpoelma elpoelma merged commit 5e50cee into master Aug 12, 2022
@elpoelma elpoelma deleted the feature/environment-banner branch August 12, 2022 09:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants