tilda
tilda copied to clipboard
Tilda don't hide after something been typed in terminal
- Open tilda (it doesn't matter which key use for it)
- Type something
- Hit key to hide tilda
- Nothing. Tilda window is still showed. Only one thing changed - if cursor was block it become empty, looks like terminal window isn't active.
OS: Ubuntu 16.04
What option do you have in preferecences/general/non-focus pull up behaviour?
Does it always happen?
Sorry, I removed Ubuntu 16.04 because of several bugs. Can't reproduce bug right now.
I updated my system to Mint 18 recently. There are same behavior.
But you was right - option's "non-focus pull up behaviour" value was "Focus terminal". Changing it to "Hide terminal" resolved trouble.
But I can't hide Tilda with selected "Focus terminal".
Having same trouble on Linux Mint 19.3