Je souhaite que la fenêtre redimensionnez la frontière plus grande, mais je ne veux pas changer le gestionnaire de fenêtres ni le thème du bureau. Comment puis-je le faire?
J'ai trouvé que la seule réponse facile était d'apprendre à utiliser la touche de boutons de droite Alt. Laquellement, une fois que vous vous êtes habitué, c'est assez pratique et bien sûr donc manquant cruellement dans Windows. :-(
La taille de la bordure de la fenêtre dépend du thème Gestionnaire de fenêtres (XFWM). Changer le thème du gestionnaire de fenêtres n'interfère pas avec le thème de bureau (GTK), ils ne doivent pas nécessairement être les mêmes. Pour obtenir exactement le regard que vous aimez, il est assez facile de faire une version modifiée de votre thème préféré, mais avec une bordure plus épaisse. Les thèmes sont situés dans /usr/share/themes
Et votre thème personnalisé peut être placé dans ~/.themes
(Vous n'avez besoin que de soin du sous-répertoire XFCE4).