-
-
Notifications
You must be signed in to change notification settings - Fork 114
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
see whether we can kill query spill by disabling echo #2019
Comments
Alas, this does not appear to work. However, a Second Idea: we're already throwing a |
works perfectly =] w000000000t! nice! |
yay! this is a completely general solution for a long-time and varied annoyance! oh, happy happy day! |
however, this isn't going to apply as written to anything but the new CLI mode. direct mode and pure rendered mode still suffer from the problem. i'd think the thing to do is to move the |
hrmmmm except |
this is too sweet to give up on. alright, what we're gonna do is make |
ugh this is gonna stomp all over the |
no, |
confirmed fix for direct mode |
confirmed fix across all modes |
Just had an inspiration...we're plagued by terminals which fail to consume entire escapes. See, for instance, Konsole in #1888. What happens if we just disable echo for the duration of the query send? Will that prevent such unconsumed controls from showing up on the display, while allowing the others to continue to reach the terminal? If so, that ought provide a general solution to this annoyance!
The text was updated successfully, but these errors were encountered: