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

Hide/unhide annotations #40

Open
johmara opened this issue Mar 8, 2024 · 0 comments
Open

Hide/unhide annotations #40

johmara opened this issue Mar 8, 2024 · 0 comments
Labels
enhancement New feature or request Practical Course Tasks designed or most relevant for the Practical Course
Milestone
Praktikum IDE plu...

Comments

@johmara
Copy link
Member

johmara commented Mar 8, 2024

Describe the need of your request

Some developers do not wish to see the annotations while they are developing. The reason for that could for example be clutter or annotation bloat.

Proposed solution

Therefore there is a need for a feature that can hide or unhide the annotations.

Alternatives you've considered

No response

Additional context

No response
@johmara johmara added the enhancement New feature or request label Mar 8, 2024
@johmara johmara assigned johmara and unassigned johmara Mar 8, 2024
@johmara johmara added the Practical Course Tasks designed or most relevant for the Practical Course label Oct 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request Practical Course Tasks designed or most relevant for the Practical Course
Projects
None yet
Milestone
Praktikum IDE plugin development
Development

No branches or pull requests
1 participant
@johmara