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.

Sign up for GitHub

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

Jump to bottom

Extend the configuration UI to be able to hide files #1187

Closed
mariusoe opened this issue Aug 12, 2021 · 1 comment · Fixed by #1493
Closed

Extend the configuration UI to be able to hide files #1187

mariusoe opened this issue Aug 12, 2021 · 1 comment · Fixed by #1493
Assignees
@marcel-haag
Labels
area/config-ui dev-team enhancement New feature or request

Comments

@mariusoe
Copy link
Member

Currently, all existing configuration files are displayed in the configuration UI's file tree. In case many files and directory exists, this tree can become quite messy. It would be great to have an option to hide certain files.

In this ticket, the configuration UI should be extended, so that specific files can be hidden from the file tree. Here, it should be implemented in such a way that files whose names begin with a dot are hidden. This should be able to be switched on and off dynamically (e.g. using the context menu). Hidden files should also be hilighted in some way when they are displayed.
@mariusoe mariusoe added enhancement New feature or request area/config-ui labels Aug 12, 2021
@marcel-haag marcel-haag self-assigned this Jun 29, 2022
@marcel-haag
Copy link
Contributor

Related MR: #1493

@heiko-holz heiko-holz mentioned this issue Jul 12, 2022
Merged
heiko-holz pushed a commit that referenced this issue Aug 1, 2022
@marcel-haag
Closes #1187: Extend the configuration UI to be able to hide files (#…
135e0d6 
…1493)

* feat: Extend the configuration UI to be able to hide files

* Refactor method and field names; move the functionality to show/hide hidden files to the FileToolbar.js

* Minor refactor of toggleShowHiddenFiles

* Fix comment

* Highlight hidden files when shown (change color)

* Fix linting errors

* refactor toggle show hidden files; move functionality to fetchFiles

* change default state of showHiddenFiles

Co-authored-by: Heiko Holz <heiko.holz@novatec-gmbh.de>
aaronweissler pushed a commit that referenced this issue Sep 5, 2022
@marcel-haag @aaronweissler
Closes #1187: Extend the configuration UI to be able to hide files (#…
4b4d57f 
…1493)

* feat: Extend the configuration UI to be able to hide files

* Refactor method and field names; move the functionality to show/hide hidden files to the FileToolbar.js

* Minor refactor of toggleShowHiddenFiles

* Fix comment

* Highlight hidden files when shown (change color)

* Fix linting errors

* refactor toggle show hidden files; move functionality to fetchFiles

* change default state of showHiddenFiles

Co-authored-by: Heiko Holz <heiko.holz@novatec-gmbh.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marcel-haag marcel-haag

Labels
area/config-ui dev-team enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Closes #1187: Extend the configuration UI to be able to hide files marcel-haag/inspectit-ocelot
3 participants
@mariusoe @heiko-holz @marcel-haag