Quando você deseja redimensionar uma janela no gnome (assim como em outros sistemas), você pode clicar e segurar na borda da janela e depois arrastá-la. O problema é (e me corrija se estiver errado aqui) que a borda arrastável tenha apenas alguns pixels de espessura no gnomo. Isso tende a ser um pouco frustrante e contribui para minhas dores no pulso ao usar o mouse, pois requer um movimento muito cuidadoso do mouse.
Como posso alterar a espessura da área em que posso clicar para redimensionar uma janela? Eu não quero aumentar a aparência da borda da janela, não estou falando de colírio para os olhos aqui. Quero ajustar essa funcionalidade em que posso redimensionar uma janela arrastando sua borda.
Existe uma configuração em algum lugar que vai mudar isso?
alt + middle-click
não envolve mudança de aparência. Não está alterando estritamente a largura da borda, mas resolve o mesmo problema. Na verdade, ele oferece uma área muito mais ampla (a janela inteira) do que você obteria alterando a largura da borda.