Les dossiers de serveurs

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.

Création et modification d'un dossier

note

Lorsqu'un dossier ne contient plus de serveurs, il est supprimé automatiquement.