![]() It would occasionally drop the last digit in the message field. This turned out to be a bug where the number, while smaller, was wider. For example: 11111 10101 In variable width fonts the second one will be wider |
||
---|---|---|
gui | ||
gui-doc | ||
gui-lib | ||
gui-test | ||
tex-table | ||
.gitignore |