Dossiers de serveurs
Dernière édition le
Les dossiers permettent d'organiser les serveurs en groupes personnalisables, afin d'avoir une meilleure expérience utilisateur. Quand un dossier est replié, une unique icône de notification est présente pour tous ses serveurs.
Création, modification et suppression d'un dossier
L'utilisateur peut créer un nouveau dossier de serveurs en glissant un serveur sur un autre. La même procédure permet d'ajouter des serveurs dans un dossier.
Il est aussi possible de modifier le nom et la couleur d'un dossier en effectuant un clic droit dessus.
Pour retirer un serveur d'un dossier, il suffit de le faire glisser en dehors de ce dernier. Quand un dossier est vidé de tous ses serveurs, il disparaît.