Just tested this with v7.11. The highlighting bug is fixed!

Also, it seems the change you made got rid of the titlebar/active app issue that you couldn't reproduce as well.

Many thanks! smile