1 votes

Comment augmenter la largeur de la zone de redimensionnement dans Ubuntu 20.04?

Il est très difficile de redimensionner une fenêtre sous Ubuntu 20.04. Le widget d'interface de redimensionnement doit être précisément placé (< 5 pixels).

<5 pixels de largeur

La réponse à Comment augmenter la marge de redimensionnement sur les fenêtres? ne fonctionne pas pour la version 20.04.

Comment augmenter la marge de redimensionnement dans la version 20.04?

1voto

pomsky Points 62110

Divers solutions de contournement publiées sur l'autre question que vous avez mentionnée sont toujours utilisables sur Ubuntu 20.04 cependant.

Par exemple, le contournement mentionné dans la réponse la mieux notée et acceptée fonctionne toujours dans un sens :

entrez la description de l'image ici

La seule différence est que sur Ubuntu 20.04, la touche d'action par défaut pour les fenêtres est Super (généralement la touche avec le logo Windows) au lieu de Alt. Ainsi, vous pouvez redimensionner les fenêtres en maintenant enfoncée la touche Super puis en cliquant et en faisant glisser avec le clic central de la souris.

Vous pouvez également modifier votre touche d'action pour les fenêtres en Alt en utilisant Tweaks (GNOME). Lancez Tweaks et changez la clé pour l'option 'Touche d'action de fenêtre' dans la section 'Fenêtres'.


De la même manière, l'astuce Alt+F8 mentionnée dans cette réponse fonctionne également très bien sur Ubuntu 20.04, tout comme le clic droit sur la barre de titre et la sélection de 'Redimensionner' dans le menu contextuel comme indiqué dans une autre réponse.

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X