default-column-width.proportion = 1. / 1.;

            { proportion = 1. / 5.; }
            { proportion = 1. / 4.; }

            { proportion = 4. / 5.; }