-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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
Add key listeners to the log in Dev UI #39459
Conversation
Signed-off-by: Phillip Kruger <phillip.kruger@gmail.com>
86ed440
to
3658016
Compare
So, you're adding a zoom-in feature and asking for two reviewers: Max and me. Does that mean our eyes are not as good as before? :) |
Ha ha, no just added max as he reported the bug |
Status for workflow
|
Fix #37875
This PR add support for keystrokes in the Dev UI Logs.
Enter
will add a blank line, allowing you to add space in a logCtrl
+Mouse wheel up
will zoom inCtrl
+Mouse wheel down
will zoom outThen a subset of the keys as in the Quarkus log is supported: