docs
La barre d'outils
Une barre d'outils par type de vue, chacune entièrement personnalisable : clic droit dessus (ou Présentation → Personnaliser la barre d'outils…) pour sortir des éléments, les réorganiser, ajouter ce qui démarre masqué. Chaque vue mémorise sa propre disposition d'un lancement à l'autre.
Comment marche la personnalisation
PullMark n'a pas une barre d'outils — il en a une par type de vue, comme la fenêtre de rédaction de Mail garde une barre différente de sa fenêtre principale. Vous personnalisez la barre que vous regardez : ouvrez un fichier de pull request pour personnaliser la barre des fichiers de PR, un document local pour celle des fichiers locaux. La palette ne propose jamais que les éléments qui existent là où vous l'avez ouverte.
Tout ce qui est dans la palette est bon à prendre — retirez, réordonnez, glissez un Espace ajustable pour écarter les groupes. Les éléments marqués masqué ci-dessous démarrent dans la palette plutôt que dans la barre. Le seul endroit où les éléments ne vont pas, c'est la bande propre à la barre latérale, à côté de sa bascule : cette section appartient au système, et ce qu'on y dépose se replace en tête de la section principale. Restaurez n'importe quelle barre en y reglissant la panoplie par défaut depuis le bas de la palette.
Dans toutes les vues
| Élément | Défaut | Rôle |
|---|---|---|
| Précédent/Suivant | affiché | Reculez et avancez dans tous les documents consultés — maintenez l'une des flèches pour afficher son historique. |
| Review | affiché | Le contrôle de révision changeant, sur les vues de PR seulement — nombre de commentaires en attente, verdict, envoi. Il survit le plus longtemps à une fenêtre étroite : l'état de la révision reste visible quand les autres éléments se replient dans le débordement. |
| Ouvrir un fichier ou un dossier | affiché | Ouvrir du Markdown local ou un dossier en emplacement. |
| Ouvrir une pull request | affiché | Ouvrir une pull request GitHub par URL. |
| Apparence | affiché | Clair · Sombre · Système, pour toute l'app. |
Fichiers locaux
| Élément | Défaut | Rôle |
|---|---|---|
| Partager | affiché | La feuille de partage standard pour le fichier. |
| Édition | affiché | Le mode édition — cliquez n'importe quel bloc pour l'éditer sur place. |
| Comparer | affiché | Comparer avec un commit ou une branche (exige un dépôt git). Un petit point signale des changements non commités. |
| Blame | affiché | Qui a modifié chaque bloc en dernier ; désactivé hors d'un dépôt. |
| Plan | affiché | La barre latérale des titres. |
| Recharger | affiché | Relire le fichier depuis le disque. |
| Source | masqué | Le Markdown brut derrière la page rendue. |
| Zoom avant · Taille réelle · Zoom arrière | masqué | Des éléments séparés — n'ajoutez que la paire que vous utilisez. |
| Largeur du contenu | masqué | Standard · Wide · Full Width. |
| Ajouter une note de marge | masqué | Dans la palette seulement tant que les notes de marge sont activées. |
Documents GitHub
Les documents lus directement depuis un dépôt — ouverts via des liens, ⌘K, ou un emplacement de dépôt parcouru.
| Élément | Défaut | Rôle |
|---|---|---|
| Comparer | affiché | Le même document sur une autre branche, en diff rendu. |
| Blame | affiché | Le blame par bloc via l'API GitHub. |
| Plan | affiché | La barre latérale des titres. |
| Partager | masqué | La page github.com du document — le lien qu'une personne veut vraiment, jamais une URL brute. |
| Recharger | masqué | Re-résout la branche vers sa pointe actuelle et récupère à nouveau. Désactivé — avec la raison — pour les documents ouverts à un commit précis, qui ne peuvent pas changer. |
| Source | masqué | Le Markdown brut. |
| Éléments de zoom · Largeur du contenu | masqué | Comme pour les fichiers locaux. |
Fichiers de pull request
| Élément | Défaut | Rôle |
|---|---|---|
| Navigation du PR | affiché | Retour à la vue d'ensemble, fichier Markdown précédent/suivant, et le menu de saut n-sur-m — un seul groupe, une seule unité déplaçable. |
| Présentation | affiché | Diff rendu · Diff source · Résultat, centré. |
| Plan | affiché | La barre latérale des titres. |
| Disposition | affiché | En ligne ou côte à côte — actif dans la vue Diff rendu (les nouveaux fichiers se rendent toujours en ligne). |
| Blame | affiché | Actif dans la vue Résultat, là où il y a un document fini à annoter. |
| Commenter le fichier | affiché | Un commentaire sur le fichier dans son ensemble, pas sur une ligne précise. |
| Éléments de zoom · Largeur du contenu | masqué | Comme pour les fichiers locaux. |
La vue d'ensemble de PR, et les docs de dépôt ouvertes depuis une PR
La vue d'ensemble reste minimale : Partager (la page GitHub de la pull request) plus les éléments communs à toutes les vues. Un document de dépôt parcouru depuis le contenu d'une PR porte Blame et Plan, avec les éléments de zoom et Largeur du contenu dans sa palette.