Hide when Tilda loses focus is broken

lanoxx / tilda

A Gtk based drop down terminal for Linux and Unix

GNU General Public License v2.0

1.28k stars 161 forks source link

Hide when Tilda loses focus is broken #87

Closed lanoxx closed 10 years ago

lanoxx commented 10 years ago

I noticed another way to reproduce this issue:

If setting "Hide when Tilda loses focus" to true, then tilda will be focused instead of hidden after the time out. I think another parameter needs to be added to the pull function to ignore the new focus-instead-of-pull-up feature.