Line/Row numbers in new TIDE text editor don't update correctly

New version (2.9.9a) of TIDE is OK, but there's a problem: in the text editor, when changing Line and/or Row, the numbers in the right lower corner don't update! I have to switch to another windows application and back to TIDE, then the numbers are correct. It's a little annoying :-(
(or is it a problem with my own PC/Windows/TIDE setup?)