Resizeable columns
Closes #4806. Backports #5840.
Depends on #6546, therefore marked as draft until this one is merged.
Good catch! This was caused by some fractional widths being set, which should be fixed by d13a68a.
Thanks for the update, but, unfortunately, it doesn't seem to have fixed the problem. The initial size of many columns is fractional, but they display fine, so I poked a little bit at the CSS. When I increased the right border from 1px to 2px, the display looks like this:
so the border on the "Profession" column is there, but partially occluded by something. The only other hint that I can offer is that removing
width: max-content appears to fix the border rendering (but also collapses all the column widths to their default).
Sorry about this, I am not sure why I thought my commit had fixed it: I could indeed still reproduce the problem on my side.
After more investigation it seems that the will-change: transform CSS attribute was the culprit. I am not completely sure why it was introduced back when @lisa761 worked on infinite scrolling. I suspect it was to anticipate that the width of a column could change when scrolling, as new content would be added in the newly-fetched rows. This isn't the case here as we don't have any infinite scrolling.
Also this property is meant to be added in a transitional fashion via a script rather than permanently, so I think it's safe to remove. And it seems to reliably fix the issue as far as I can tell (tested with Firefox and Chromium).
I have expanded the resizing controls so that they also cover the column groups area