Столкнулся с небольшой проблемой. Я небольшой поклонник Linux, и уж тем более, не постоянный его пользователь, но, в силу специфики решаемых задач иногда требуется установленный и готовый к работе дистрибутив. Перепробовал практически все дистры, которые только существуют на белом свете. И у всех обнаружились фатальные недостатки, которые ставят крест на дальнейшем сотрудничестве такого отпетого виндузятника, как я.
Более-менее подошел Mint, со средой Cinnamon. Но и здесь порой такие тупые решения, что просто диву даешься. В частности, долгое время меня допекала панель задач. Однажды я изловчился отключить группировку кнопок, которая, как по мне, требуется только инвалидам и неполноценным.
Но и здесь ждала засада: кнопки перестали группироваться, но видок у них был усталый, поскольку вне зависимости от окна, его кнопка была фиксированной (sic!) ширины. Отвратительно на мониторе FullHD смотреть на кнопки, которые тупо обрезают свое содержимое.
Сперва я безуспешно пытался найти соответствующий пункт в настройках апплета Grouped Windows. Ага, куда там.
После этого произошла интересная эпопея по поиску решения проблемы. Для решения в лоб - можно было поменять сам апплет группировки. В качестве замены я нашел какой-то древний апплет на гитхабе, который в итоге так и не заработал. Тогда родилась мысль напрямую отредактировать стандартный апплет.
Удивительное дело - идиотская проблема решилась в два счета сменой одной константы. Я уже было приготовился к зарубе со всеми этими потрохами, но все оказалось до боли простым.
В файле /usr/share/cinnamon/applets/grouped-window-list@cinnamon.org/constants.js изменяем MAX_BUTTON_WIDTH: 150 на значение хотя бы 250. Или даже 230. Сохраняем, релогаемся. Бинго!
С одной стороны, глупейшие дизайнерские огрехи, с другой стороны все правится одним движением. Лед и пламя.