pauses doppio in notifyEvalSourcePosition, which should be after each line though it is currently not