Doesn't hide under certain conditions
Bug #1452846 reported by
Caezec
This bug affects 2 people
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| tilda |
New
|
Undecided
|
Unassigned | ||
Bug Description
If the following two conditions are both met, then tilda does not hide, when you execute the shortcut to "Pull Down Tilda"
(1) The "Hide When Tilda Loses Focus" option is checked
(2) The Mouse is not over the terminal, but on some other window
Expected: Tilda should hide itself
Observed: Tilda flashes, and remains open
Revision history for this message
| Luke Plant (spookylukey) wrote | #1 |
To post a comment you must log in.
I'm also having issues, but with the following conditions:
* Hide when Tilda loses focus/Hide Tilde when mouse leaves it - both *unchecked*
* The mouse is over the terminal, *not* on some other window.
In this case the shortcut doesn't hide Tilda. The cursor flashes, but that is all.
For me, I think this started happening when I upgraded from Linux Mint 18.2 to 18.3 - https:/