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

Option to hide Rule IDs #121

Closed
davidlday opened this issue Apr 26, 2020 · 0 comments · Fixed by #203
Closed

Option to hide Rule IDs #121

davidlday opened this issue Apr 26, 2020 · 0 comments · Fixed by #203
Labels
enhancement New feature or request
Milestone

Comments

@davidlday
Copy link
Owner

Is your feature request related to a problem? Please describe.

Rule IDs can take up a considerable amount of space in messages, crowding out space on the screen.

Describe the solution you'd like

The option to hide Rule IDs from messages.

Describe alternatives you've considered

N/A

Additional context

Separated out from #120

@davidlday davidlday added the enhancement New feature or request label Apr 26, 2020
@davidlday davidlday added this to the Version 1.0 milestone May 20, 2020
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 a pull request may close this issue.

1 participant