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
|
Low
|
Dan Watkins | ||
Bug Description
The numbers on the left hand side are misaligned on the first line of any outer assumption.
| Changed in naturaldeduction: | |
| importance: | Undecided → Low |
| status: | New → Confirmed |
Revision history for this message
| Dan Watkins (oddbloke) wrote | #1 |
| Changed in naturaldeduction: | |
| assignee: | nobody → daniel-thewatkins |
| status: | Confirmed → In Progress |
Revision history for this message
| Dan Watkins (oddbloke) wrote | #2 |
| Changed in naturaldeduction: | |
| status: | In Progress → Fix Released |
To post a comment you must log in.
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