Если вы хотите изменить размер окна в gnome (как и в других системах), вы можете щелкнуть и удерживать границу окна, а затем перетащить его. Проблема в том (и исправьте меня, если я ошибаюсь здесь), что перетаскиваемая граница имеет толщину всего пару пикселей в гноме. Это, как правило, немного расстраивает и способствует моей боли в запястье от использования мыши, так как требует очень осторожного движения мыши.
Как я могу изменить толщину области, на которую я могу щелкнуть, чтобы изменить размер окна? Я не хочу увеличивать вид границы окна, я не говорю о глазных конфетах здесь. Я хочу настроить эту функцию, чтобы изменить размер окна, перетаскивая его границу.
Есть ли где-то настройка, которая изменит это?
alt + middle-click
не предполагает изменение внешнего вида. Это не строго меняет ширину границы, но решает ту же проблему. На самом деле, это дает вам гораздо более широкую область (все окно), чем если бы вы изменили ширину границы.