the fontnames and special names like (Menu)

[Paul Dupuis]

The fontnames() function returns certain special font names like:
(Default)
(Styled Text)
(Menu)
(Text)
(Message)
(Tooltip)
(System)

How do I find out what fonts these really are on a given platform. The 
effective textFont does not seem to work.

For example the following code on Windows 10,

set the textFont of fld 1 to "(Text)"
put the effective textFont of fld 1

outputs "(Text)" when I would have expected it to output "Segoe UI"

Is this a bug?