Don't hide menus

[Daniel]

On 2023-10-14 12:47, Jürgen Spitzmüller wrote:
> Am Samstag, dem 14.10.2023 um 12:26 +0200 schrieb Daniel:
>> I think it's just a matter of getting used. But I understand that
>> it's hard at the beginning as with every new interface.
> 
> I use that for years and don't get used to it. It's just very bad
> design.

Unless these word processor creators all don't listen to their users, 
apparently many people do. But it doesn't really matter.

I don't see other ways of moving forward currently. Maybe others have 
better ideas.

Daniel