When tracing the execution in GT-debugger the text selection does not always reflect the real position of the program counter. Consider the following screenshot:

I have simply pressed the step-into button, nothing more. The selection is not meaningful.

Am I the only one to have noticed this?

It would be great to have it fixed…

Cheers,

Alexandre