Если же потянуть за полосатый разделитель, удерживая кнопку option, панель Dock будет изменять собственный размер ступенчато. Таковым образом у вас будет 5 фиксированных вариантов размера «Дока», изо которых избрать более приемлемый еще проще.
Постовой:
Все новинки нетбуков и остальных портативных компов