Encontrada a solução, a extensão Put Windows
faz exatamente o que eu estava procurando:
no Unity com a atadura de teclado CTRL-ALT-KeyPad_7
, posso mover uma janela para o canto superior esquerdo e ela é automaticamente redimensionada para um quarto do tamanho da minha área de trabalho.
No gnome-shell, em dconf
, encontrei a opção relevante para o gnome-shell:
/org/gnome/desktop/wm/keybindings
move_to_corner_nw
, mas isso apenas move a janela, sem realmente redimensioná-la.
Você teria alguma dica?
obrigado!
Encontrada a solução, a extensão Put Windows
faz exatamente o que eu estava procurando:
Este é apenas um complemento para a resposta de Andrea Zonca.
gnome-shell-extension-prefs
do terminal Tags gnome window-manager mutter