Tom on Nostr: Settings > Keyboard or settings > Window manager > KeyboardSettings > Keyboard or settings > Window manager > Keyboard