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

Remove tree-view button #3647 #3748

Merged
merged 4 commits into from
Sep 17, 2024

Conversation

BenediktMehl
Copy link
Collaborator

Remove the button that opened and closed the file explorer

Closes: #3647

Description

Just removing this button because same functionality is achieved by clicking on the search panel.

Definition of Done

A PR is only ready for merge once all the following acceptance criteria are fulfilled:

  • Changes have been manually tested
  • All TODOs related to this PR have been closed
  • There are automated tests for newly written code and bug fixes
  • All bugs discovered while working on this PR have been submitted as issues (if not already an open issue)
  • Documentation (GH-pages, analysis/visualization READMEs, parser READMEs, --help, etc.) has been updated (almost always necessary except for bug fixes)
  • CHANGELOG.md has been updated

Screenshots or gifs

Screenshot 2024-09-17 at 11 39 19

Copy link
Contributor

@Nereboss Nereboss left a comment

Choose a reason for hiding this comment

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

LGTM!

Copy link

sonarcloud bot commented Sep 17, 2024

Copy link

sonarcloud bot commented Sep 17, 2024

@BenediktMehl BenediktMehl merged commit c7408a9 into main Sep 17, 2024
7 checks passed
@BenediktMehl BenediktMehl deleted the feature/3647/remove-unnecessary-button branch September 17, 2024 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove unnecessary button in UI
2 participants