Closed olaure01 closed 3 years ago
The field for the input of notation names has width 1. This does not make things easy to read when defining a notation whose name is more than 1 symbol long. Maybe width 2 or 3 would make things better.
The problem occurred only on Firefox. Will be merged soon.
The field for the input of notation names has width 1. This does not make things easy to read when defining a notation whose name is more than 1 symbol long. Maybe width 2 or 3 would make things better.