Don't hide menus

[Jürgen Spitzmüller]

Am Samstag, dem 14.10.2023 um 18:12 +0200 schrieb Jean-Marc Lasgouttes:
> Right. I miss the application menus there, though.

I don't miss it at all anymore. But I agree this is completely
subjective. I was thrilled by the idea right from the beginning (and
long before it worked in a sane way).

> 
> Many environments do that. 

Really? I obviously have missed that, apart from the mentioned case.
Have not seen it in any application.

> I wonder if there are hooks to feed the OS version of the tool.

If there is an OS version. As for GNOME, there are ways to feed into
the search path, but I don't think in the way we want, more like "add
weather information in response to search strings".

But of course, research might reveal a different situation.

-- 
Jürgen