Number of lines not displaying properly

MiniZinc version: Version 2.9.4, 2073220142
System: Windows 10 22H2
Problem: The number of lines is not displaying properly in the left bar when there are at least 1000 lines.

<img width="866" height="684" alt="Image" src="https://github.com/user-attachments/assets/bd5025fe-0f82-4f6d-a377-81a2aa85d98b" />