4 Sep
2008
4 Sep
'08
10:36
I just found a lot of places with
`PushButton(... `opt(`customButton) ... )
This is generally not neccessary, nor is it desired. Please use that only if
any of the heuristics go guess a button role from the button label, ID, or
function key went wrong.
I just updated the documentation to make this more clear.
CU
--
Stefan Hundhammer