Numbers on first line of outer assumptions are misaligned

Bug #159392 reported by Dan Watkins
Affects Status Importance Assigned to Milestone
the Natural Deduction LaTeX Package
Fix Released
Dan Watkins

Bug Description

The numbers on the left hand side are misaligned on the first line of any outer assumption.

Dan Watkins (oddbloke)
Changed in naturaldeduction:
importance: Undecided → Low
status: New → Confirmed
Revision history for this message
Dan Watkins (oddbloke) wrote :

There is an extra space being added to the right hand side of the cells in question. This can be fixed by adding a space to the right of _all_ the numbering cells, but this is sub-optimal

Changed in naturaldeduction:
assignee: nobody → daniel-thewatkins
status: Confirmed → In Progress
Revision history for this message
Dan Watkins (oddbloke) wrote :

Fixed in trunk, revision 7.

Changed in naturaldeduction:
status: In Progress → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.