Fichiers et dossiers

Le panneau Fichiers de la barre latérale gauche de l’écran du projet répertorie tout le contenu de votre projet. Cliquez sur un fichier pour l’ouvrir.

Un badge à côté du nom d’un fichier (principal) signale le document principal.

Ajouter un fichier ou un dossier

Cliquez sur Ajouter un fichier/dossier (le bouton +) en haut du panneau Fichiers.
Choisissez Nouveau fichier, Nouveau dossier, Importer des fichiers ou Importer un dossier.

Pour Nouveau fichier et Nouveau dossier, un champ de nom apparaît dans la liste. Saisissez un nom et cliquez sur Enregistrer. Un nouveau fichier s’ouvre immédiatement.

Pour ajouter un fichier dans un dossier, ouvrez le menu Plus du dossier. Il propose les mêmes quatre choix.

Importer des fichiers et des dossiers

Choisissez Importer des fichiers ou Importer un dossier. Dans la boîte de dialogue, faites glisser ce que vous souhaitez importer, ou cliquez sur Cliquer pour importer et sélectionnez-le. Si vous avez ouvert la boîte de dialogue depuis le menu d’un dossier, l’importation se fait dans ce dossier.

Limite	Valeur
Fichiers par importation	Jusqu’à 100
Taille d’un fichier	Jusqu’à 50MB chacun
Taille d’un dossier	Jusqu’à 50MB au total

Pendant l’importation des fichiers, la boîte de dialogue affiche la progression. Cliquez sur Annuler pour l’interrompre. Les fichiers déjà importés restent dans le projet.
Si certains fichiers échouent, la boîte de dialogue affiche Échec de l’importation avec les raisons. Cliquez sur Réessayer pour relancer les fichiers en échec, ou sur Confirmer pour la fermer.
Les fichiers de plus de 50MB ne peuvent pas être importés. Réduisez la taille du fichier et importez-le de nouveau.

Vous pouvez aussi faire glisser des fichiers ou des dossiers depuis votre ordinateur vers la liste des fichiers. Déposez-les sur un dossier pour les importer dedans, ou sur l’espace vide sous la liste pour les importer au niveau supérieur.

Noms des fichiers et des dossiers

Les noms ne peuvent pas contenir \ / : * ? " < > |.
Si le chemin complet est trop long, raccourcissez le nom du dossier ou du fichier.
Deux éléments d’un même dossier ne peuvent pas porter le même nom.

Renommer, copier, déplacer et supprimer

Cliquez sur Plus sur un élément pour ouvrir son menu.

Élément	Menu
Fichier	`Renommer`, `Définir comme document principal`, `Copier`, `Supprimer`
Dossier	`Renommer`, `Nouveau fichier`, `Nouveau dossier`, `Importer des fichiers`, `Importer un dossier`, `Copier`, `Supprimer`

Définir comme document principal apparaît pour les fichiers .tex qui ne sont pas déjà le document principal.
Copier crée une copie au même endroit avec (copy) ajouté au nom, par exemple main(copy).tex.
Supprimer vous demande de confirmer et indique ce qui sera supprimé.
Pour déplacer des éléments, faites-les glisser sur un dossier. Pour les déplacer au niveau supérieur, faites-les glisser sur l’espace vide sous la liste.
Les éléments de menu affichés dépendent de votre rôle. Si vous ne pouvez pas modifier les fichiers, certains éléments n’apparaissent pas.

Sélectionner plusieurs éléments

Maintenez Ctrl (⌘ sur Mac) et cliquez pour ajouter des éléments à la sélection ou les en retirer.
Maintenez Shift et cliquez pour sélectionner une plage.

Copier, Supprimer et le glisser-déposer s’appliquent à tout ce que vous avez sélectionné.

Clavier

Touche	Fonction
`Delete`	Supprime les éléments sélectionnés (après confirmation)
`F2` (`Enter` sur Mac)	Renomme l’élément ayant le focus

Ouvrir des images, des PDF et d’autres fichiers

Fichier	Ce que vous voyez
Fichiers texte comme `.tex`	S’ouvre dans l’éditeur
Images	S’ouvre dans une visionneuse d’images
PDF	S’ouvre dans une visionneuse PDF
Autres types de fichiers	« Format de fichier non pris en charge » avec un bouton `Télécharger`

Lorsqu’aucun fichier n’est ouvert

Si le projet ne contient aucun fichier, le message « Aucun fichier sélectionné » s’affiche. Cliquez sur Ajouter un fichier pour créer main.tex.