Bug: Clippings: Can change font on ghost selection when selection highlight isn’t visible

Clippings lose their selection highlight when you click somewhere outside the clipping after selecting text. But the text is really still selected, and you can affect it by clicking on a dropdown to change the font name or font size. This is bizarre because you can’t see the highlight on the selection, so you won’t know what text will be affected.

Software version: 4.0 SR7.
Reported by Rosie Perera.
Forum link: http://community.logos.com/forums/t/7415.aspx
Status: fixed in 4.0b Beta 1 – can’t reproduce with the latest version