> On Sep 10, 2018, at 2:41 PM, Frank H. Ellenberger
> wrote:
>
>
>
> Am 10.09.2018 um 13:46 schrieb Geert Janssens:
>> Op zondag 9 september 2018 12:21:08 CEST schreef Frank H. Ellenberger:
> :
>>> ?: Usability: Will F1 or pressing the Help button still deliver the
>>> right content? I know
Am 10.09.2018 um 13:46 schrieb Geert Janssens:
> Op zondag 9 september 2018 12:21:08 CEST schreef Frank H. Ellenberger:
:
>> ?: Usability: Will F1 or pressing the Help button still deliver the
>> right content? I know it is aslo now not always th case.
>>
> If I read David's proposal carefully