Henning Dodenhof
Henning Dodenhof
Are you using `headerLayout(int layoutResId)` or `headerView(View view)` to add the header? The provided fix does only work for the former.
It actually only works with `headerLayout(int layoutResId)`, as said before. If that's how you did it in the first place, I'm not sure what's going wrong. I just verified that...
This also happens on Linux Mint 18 with Cinnamon 3, was working fine on Linux Mint 17.3 with Cinnamon 2.8. Installing `ibus ibus-gtk ibus-gtk3` unfortunately did not work for me....
I do have the pull down animation enabled, disabling it doesn't make any difference. Metacity is installed in Mint by default (3.18.5-0ubuntu0.1), running `metacity --replace` did not improve the behaviour....
So I digged a little into the code and what I found is that `tw->focus_loss_on_keypress` is false when `pull` is called in `key_grabber.c` while the mouse hovers the Tilda window...
There's not much on the roadmap these days to be honest. I might look into it if I find some time but unfortunately I can't promise anything right now.
There's now a PR for this: #370.
What you observed is the expected behavior of the current release. I merged (experimental) support for GIF files a while ago but never got around to properly test and release...
Alpha is currently not supported - I might add it in the future though.
Alpha support has been merged in 7ad4632 and will be available with the next release.