File Managers (Linux Only)

La branche Gestionnaires de fichiers sous Préférences donne accès aux options suivantes :

Gestionnaire de fichiers

Cet élément déroulant permet aux utilisateurs de sélectionner le gestionnaire de fichiers à utiliser lorsque la commande Parcourir est sollicitée pour des dossiers ajoutés à des projets dans la vue Fichier.  Si les navigateurs nautilus ou dolphin sont détectés sur le système hôte, les valeurs correspondantes sont automatiquement rendues accessibles dans l'élément déroulant.  

Commande

Si l'utilisateur préfère employer un gestionnaire de fichiers personnalisé, il peut activer l'option Personnaliser et spécifier la commande nécessaire au lancement du gestionnaire de son choix depuis un terminal.  Le cas échéant, le bouton Parcourir peut permettre de naviguer jusqu'à l'emplacement du gestionnaire de fichiers souhaité sur le système hôte, et ce par un référencement du chemin complet vers ce gestionnaire de fichiers.