But at least copied it such that any keypress will go to the input field, not ge...

kaba0 on July 23, 2022 | parent | context | favorite | on: Gnome Turns 25

But at least copied it such that any keypress will go to the input field, not get swallowed.