Тоже столкнулся с этим неудобством. Причем в списке “Папки” реализация изменения размера уже присутствует, хорошо бы и в людей принести. Хотя, по умолчанию, ожидаешь, что этот разделитель хотелось бы просто потянуть мышкой влево или вправо для изменения ширины списка. А двойной клик - это автоподбор ширины. Видимо это нас Гугл-таблицы избаловали, хотя я много где такое поведение встречаю. Возможно, здесь у вас какие-то технические сложности с элементами и реализацией.
