Menu-item shortcut underline shifted by separator !?!

[R. Lahaye]

Hi,

The shortcut-underline indicator of the menu-items
is shifted when the item is followed by a separator.
See, as an example, the attached png file.

Is this a Xforms (0.88.1), or LyX (CVS) problem?

Cheers,
Rob.