Am Sonntag, den 21.07.2019, 16:41 +0200 schrieb Kornel Benko:
> In case you missed it ... there is a second tooltip starting with
> space
> src/frontends/qt/ui/PrefLanguageUi.ui:252
> " Right arrow key is interpreted as \"move right\", left arrow key as
> \"move "
> "left\""
Yes I did. Thanks.
Jü
Am Sonntag, 21. Juli 2019, 14:31:19 CEST schrieb Juergen Spitzmueller:
> commit ae9768da93997dea40ae5bcb15aa662993efffb5
> Author: Juergen Spitzmueller
> Date: Sun Jul 21 14:41:23 2019 +0200
>
> Fix tooltip
> ---
>
In case you missed it ... there is a second tooltip starting with space
sr
