Cannot reset column width of a grid

[SonReimer]

Description of the bug

If I set the width of a column, either programmatic or by user (resizable=true) and I want programmatically to reset the width to apply defaults by calling Column.setWidth(null), the column is shown with a very large width.
If I call Column.getElement().removeProperty("width") instead , the column's width is changes to its default (as width has never been set explicitly).
The problem seems to be, that Column.setWidth(String) sets the width property to null instead of removing the property.
Instead of

        public Column<T> setWidth(String width) {
            getElement().setProperty("width", width);
            return this;
        }

it should be

        public Column<T> setWidth(String width) {
            if ( width != null ) {
                getElement().setProperty("width", width);
            } else {
                getElement().removeProperty("width");
            }
            return this;
        }

Although the workaround is easy, I think it should be fixed.

Versions

• Vaadin / Flow version: 24.5.2
• Java version: 17
• OS version: Windows
• Browser version (if applicable): Chrome
• Application Server (if applicable): Tomcat 10
• IDE (if applicable): Eclipse

[SonReimer]

Perhaps an additional method Column.setWidthUndefined() is useful ?