Cuando desee cambiar el tamaño de una ventana en gnome (así como en otros sistemas), puede hacer clic y mantener presionado el borde de la ventana y luego arrastrarlo. El problema es (y corríjame si me equivoco aquí) que el borde arrastrable tiene solo un par de píxeles de grosor en gnomo. Eso tiende a ser un poco frustrante y contribuye a los dolores de mi muñeca por usar el mouse, ya que requiere un movimiento muy cuidadoso del mouse.
¿Cómo puedo cambiar el grosor del área en la que puedo hacer clic para cambiar el tamaño de una ventana? No quiero aumentar la apariencia del borde de la ventana, no estoy hablando de dulces para los ojos aquí. Quiero ajustar esta funcionalidad donde puedo cambiar el tamaño de una ventana arrastrando su borde.
¿Hay alguna configuración en algún lugar que cambie esto?
alt + middle-click
no implica cambiar la apariencia. No está cambiando estrictamente el ancho del borde, pero resuelve el mismo problema. De hecho, le brinda un área mucho más amplia (toda la ventana) de la que obtendría al cambiar el ancho del borde.