Menu
▾
▴
#769 Statistics columns have non uniform widths
closed-fixed
5
2018-03-07
2017-09-27
No
As suggested by JR Abrial in a private mail, the numerical columns of the statistics view should have the same widths, enough to display number of 4 digits.
The headers shall be abbreviated so as to fit within this size, and tooltip texts shall be added to display the full name of the abbreviated columns.
Fixed by giving a larger column width.
Integrated into Rodin 3.4