panel : menu : reduce search jank

[AKArien]

Reduced jank on search, it now behaves like a proper text input, at the price of eating the first key when user attempts to type while it is not focused.

Addresses #325

[gtaborga]

I look forward to this change. I just discovered this problem when trying to use an on-screen keyboard.

[AKArien]

Hey @trigg, in the end, since a few people seem to care about it being fixed asap, I would like it if we could get this current state reviewed and hopefully merged. My experiments for making it smoother probably won’t be ready any time soon.

[AKArien]

@trigg hi, finally got to get around to it !
Took the liberty of merging your commit with mine, and i also added the check of the old system of verifying the gdk keyval string is equal to 1, as to avoid inserting strings for other keys (for instance, pressing shift adds « Shift » without this), as well as a comment explaining what is going on with it.

My impressions on this have not changed, while i’m not happy about this being needed and still want to overhaul the menu’s navigation, this is a huge step-up from prior behaviour. If it looks good to you, it looks good to me.

[trigg]

Looking good! Thanks for working on this