Deactivate F1 Help on Ubuntu 21.10 to use Tilda terminal

Lucas Eichhorn

4/4/23, 6:22 PM

I just updated to 21.10. I was used to and loved using Tilda with F1 to drop it down and up. This does not seem to work on 21.10 easily. I couldn't deactivate the F1 help function, i.e. whenever I press F1, depending on the active window, the help window appears. Also other Fx keys don't seem to work for tilda (and anyways I really would like to get it to work with F1 again).

Is there a hacky way to deactivate the built-in help on F1 or to make tilda work?

Help is much appreciated!

PS: I'm using a laptop.

0 + 0

key-binding

tilda

21.10

Score:0

Ubuntu

vanadium

4/5/23, 1:35 PM

There currently is no fundamental solution, because Tilda does not support Wayland.

If you use the default Ubuntu desktop based on Gnome Shell, you could try the Gnome Shell extension quake-mode by repsac-by. To the developper, this extension was primarily aimed at being able to get Tilix to work under Wayland.

Switching back to Xorg also remains an option: on the log in screen, you can, before entering the password, use the cog wheel to switch to a session on Xorg.

With respect to the F1 key: that is a key that is defined at the level of the application. It will thus be overridden by a global key definition. On Xorg, applications can set these for themselves. On Wayland, applications cannot do that anymore. If Tilda would support a command line interface to toggle its display, you could set a custom shortcut key for that in the Settings. It currently doesn't, however.

0 + 0

Lucas Eichhorn

4/5/23, 9:34 PM

Nice, I like the option to switch to Xorg (is that the same as X11?). Tilda seems to work. Is there a drawback to using Xorg instead of Wayland?

vanadium

4/7/23, 1:56 PM

X11 is the network protocol used by Xorg, so yes, its the same ;) I continue using Xorg because screencasting is better supported, automation of keyboard input is possible with xdotool, and command line tools are available to manipulate open windows.

Petr 'PePa' Pavel

4/10/23, 2:19 PM

I couldn't get Quake Mode working on Ubuntu 21.10 GNOME 40.4.0. I installed it with `gnome-extensions install` but - it doesn't show in `gnome-extensions list` and I can't work with it using `gnome-extensions` commands like prefs (`Extension „quake-mode@repsac-by.github.com“ doesn't exist`). However, it tells me it's already installed when I try installing it again. I tried both versions 4 and 5 for shell 40.

Score:0

Ubuntu

user10489

4/4/23, 8:21 PM

Applications like this try to globally bind keys for their activation. Wayland doesn't allow this anymore, so you have to go through your desktop environment to manually bind the key.

Terminals like terminix and guake have command line options to activate their pull down ("quake mode"), so you can add a keyboard shortcut in global settings to run that command. But tilda does not seem to have this, and does not support wayland.

0 + 0

Elon Musk

I sit in a Tesla and translated this thread with Ai:

EN: Deactivate F1 Help on Ubuntu 21.10 to use Tilda terminal

TH: ปิดการใช้งาน F1 Help บน Ubuntu 21.10 เพื่อใช้เทอร์มินัล Tilda

RO: Dezactivați Ajutorul F1 pe Ubuntu 21.10 pentru a utiliza terminalul Tilda

RU: Деактивируйте справку F1 в Ubuntu 21.10, чтобы использовать терминал Tilda

VI: Tắt Trợ giúp F1 trên Ubuntu 21.10 để sử dụng thiết bị đầu cuối Tilda

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.