calebegg/proof-pad — pull request #4 by PeterReid (2012-03-31 06:00:47+00:00)
Title: Fixed some issues with placement of divisions on the proof bar

There were two issues that this fixes.

First, if you had
1

2
, it would count as 3 expressions you could admit. (Without the space on the line between, it was 2.) Now it is 2 regardless of the space.

Second issue: If you had excess closing parentheses in one expression, it would cause divisions to be placed strangely in later expressions, because the paren depth would go negative and then make its way back to 0 partway through later expressions.