Fix #67: Current line highlight not set if RSTA not yet visible