[issue27224] IDLE: editor versus grep line number differ

[Terry J. Reedy]

Terry J. Reedy added the comment:

Yesterday, I grepped three times and got the same wrong result each time, so I know I was not crazy.  But today, starting fresh with no IDLE or TortoiseHg running, all is well.  Closing as 'heisenbug' ;-).  Lesson: start fresh before reporting weird behavior.  (I should have known.  I occasionally have to reboot windows to reset its key mappings.)  Thanks, and sorry for the noise.

----------
resolution:  -> not a bug
stage: test needed -> resolved
status: open -> closed

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue27224>
_______________________________________