doc:fr:editionsouris
====== Differences ====== This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
doc:fr:editionsouris [2022/01/13 15:14] dmorandi correction d'une ambiguité "dans le panneau (e)" |
doc:fr:editionsouris [2022/01/13 16:05] dmorandi typo |
||
|---|---|---|---|
| Line 42: | Line 42: | ||
| == La palette utilisateur == | == La palette utilisateur == | ||
| - | + | La palette utilisateur permet à tout utilisateur de composer sa propre liste de signes favoris. Ajouter un signe à la palette est simple : sélectionner le signe et cocher la case "user palette control" (f) dans la partie inférieure de la palette. Le contenu de la palette utilisateur est automatiquement sauvegardé, ce qui fait que la palette est disponible à chaque nouveau lancement de JSesh. Enlever un signe de la palette utilisateur est tout aussi simple : il suffit de sélectionner le signe concerné et de décocher la case "user palette control". | |
| - | La palette utilisateur permet à tout utilisateur de composer sa propre liste de signes favoris. Ajouter un signe à la palette est simple : sélectionner le signe et cocher la case "user palette control" (f) dans la partie inférieure de la palette. Le contenu de la palette utilisateur est automatiquement sauegardé, ce qui fait que la palette est disponible à chaque nouveau lancement de JSesh. Enlever un signe de la palette utilisateur est tout aussi simple : il suffit de sélectionner lesigne concerné et de décocher la case "user palette control". | + | |
| Tous les signes sélectionnés pour une inclusion dans la palette utilisateur sont affichés lorsque la famille spéciale "user palette" est sélectionnée. | Tous les signes sélectionnés pour une inclusion dans la palette utilisateur sont affichés lorsque la famille spéciale "user palette" est sélectionnée. | ||
doc/fr/editionsouris.txt · Last modified: 2022/01/13 16:19 by dmorandi
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: GNU Free Documentation License 1.3
