[DONE] Double-click on right column edge in table header to minify column size

Implemented in latest release in experimental Grid View