I have no idea how to fix this
and I am not into the code of TheIDE right now, but someone
that a little knows how code works there - should be fixed almost in no time.
By the way - this bug is very old - and it was overlooked by people with default theme
...it could potentionally mean stack overflow somewhere.