Tiny Gui Glitch

When going from windowed mode to full screen, the cursor line highlight disappears from the line numbers at the edges. Moving the cursor, entering Edit Mode or going back to windowed mode puts them back.

Looking at this further, it appears on some Themes but not others, suggesting that it’s swapping to a colour that’s assigned to something else within the Theme.

This is in Windows 7, 64 & 32 bit.