pgbovine/OnlinePythonTutor — pull request #39 by daveagp (2013-07-01 22:20:07+00:00)
Title: fix precedence issue with line highlighting

If the current line is the same as the previous one, highlight it as if it were current.