Misaligned line numbers in SMT Information window

[BookWood7th]

Description

The line numbers in the Solver input are misaligned.

Reproducible

always

Steps to reproduce

1. Load SumAndMax example (others work as well)
2. (optional) apply SMT Preparation macro
3. Use an SMT solver
4. After the solver finishes computing, click on "Info" for any goal, then click on the "Solver Input" tab.

The lines in this window get progressively more misaligned with the lines of the solver input.

Additional information

Add more details here. In particular: if you have a stacktrace, put it here.

---

• Commit:
• c0eca77

[BookWood7th]

@WolframPfeifer Labels please