Revision history  [back]

It turns out that I made the font bigger, but the "number column" width (with header: "no") stayed narrow, and because of that the numbers were not displayed. When I widened the column a bit three dots showed (which were supposed to help me realise that the column is too narrow), and widening it enough shows the number correctly.

Thanks for your great program!!!