Les dossiers de serveurs
Dernière édition le
Les dossiers permettent d'organiser les serveurs en groupes afin d'avoir une meilleure expérience utilisateur. Il est possible de personnaliser la couleur et le nom du dossier. Les icônes affichant les mentions de chaque serveur sont également regroupées en une seule.
Création, modification et suppression d'un dossier
La création d'un dossier de serveurs se fait en glissant un serveur sur un autre. La même procédure permet d'ajouter des serveurs dans un dossier. Il est ensuite possible de modifier le nom et la couleur du dossier en effectuant un clic droit dessus. Pour retirer un serveur d’un dossier, il suffit de l'en glisser en dehors.
note
Lorsqu'un dossier ne contient plus de serveurs, il est supprimé automatiquement.