-
Notifications
You must be signed in to change notification settings - Fork 725
[GUI] Settings console, clear history button. #1499
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
Conversation
Fuzzbawls
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
looking good. small nit regarding the new button's text string, but otherwise ACK
|
Tested ACK from my side, once Fuzz nit is tackled. |
|
Thinking more about it... do we really want to clear also the command history? |
Yep. Had the same thought.
Agree. Changing it. |
5608599 to
9dd5e7e
Compare
|
Updated. |
random-zebra
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ACK 9dd5e7e
ff9e3d8 [GUI] Recognize key event for clearing console (Fuzzbawls) Pull request description: Alternative to #1585 that leaves the wording unchanged, but adds key-combo recognition to the settingsconsolewidget the clear the history as how the initial help text describes. Adjust the settingsconsolewidget event filter to explicitly recognize the key combo for clearing the console. fixes #1213 which was actually not adequately resolved in #1499 ACKs for top commit: random-zebra: tested ACK ff9e3d8 furszy: utACK ff9e3d8 Tree-SHA512: a7ac42fbab600334ba7ecd94474140aefbf1063172a8e97e0ee0235f7d75c6c98a6d0cca5d685891cc81cfa653fa1e86c2c45be0d502698cfcc19a62dfe69428
auto-descriptive PR.
Clear history button in the settings console.