Sebastian Geiger

It seems this was added in commit 0a66b99dcff82cf90d7cb7dc526676cbadfc52f3 around 2014 and I cannot remember why I have used 0 as the access permission. It might have been by accident. Technically,...

I agree that this can be annoying, the locking code is very old and has not been refactored in a long time. It seems the last bigger change of the...

I pushed this commit today: 5ecc56105bb099134d4edf76b8987bfd2b523e37 which should improve the locking situation.

Are you running tilda 2.0.0? Or the 1.x version?

It would help if you could validate if this bug still exists on the latest master branch, since there have been a couple of changes that may have already fixed...

I think this may be fixed on the latest master branch.

It would help if you could mention the version of tilda that you are using and if you could test with the latest master branch to see if the issue...

Only if your Linux distribution does not yet have tilda 2.0.0. If you are using Debian Testing, Unstable or the upcoming Ununtu 24.04, then you should have tilda 2.0.0, older...

Does `tilda —toggle` pull the terminal? If that works, then next check if you have correctly registered a custom hotkey in the desktop environment. I have tested with Gnome Shell,...

Thanks for your contribution, I have just merged it.