2022-03-15 02:42:14 +01:00
|
|
|
# Glossary in tab-separated format -*- coding: utf-8 -*-
|
2022-01-05 13:18:40 +01:00
|
|
|
hint indice omegat
|
|
|
|
|
abbrev d'abréviation omegat
|
|
|
|
|
option l'option omegat
|
|
|
|
|
user l'utilisateur omegat
|
|
|
|
|
abbrev l'abréviation omegat
|
|
|
|
|
save d'enregistrer omegat
|
|
|
|
|
similar similaire omegat
|
|
|
|
|
after point après le point omegat
|
|
|
|
|
before point avant le point omegat
|
|
|
|
|
dynamic abbrev abréviation dynamique omegat
|
|
|
|
|
regular expression l'expression rationnelle omegat
|
|
|
|
|
non\-@code test omegat
|
|
|
|
|
user option option d'utilisateur omegat
|
|
|
|
|
user option l'option d'utilisateur omegat
|
|
|
|
|
user option options d'utilisateur omegat
|
|
|
|
|
key sequences combinaisons de touches omegat
|
|
|
|
|
keymaps tables de séquences omegat
|
|
|
|
|
predicates attributs omegat
|
|
|
|
|
Several Buffers Tampons multiples omegat
|
|
|
|
|
Text Coding Codage du texte omegat
|
|
|
|
|
read-only lecture seule omegat
|
|
|
|
|
doc string documentation du code omegat
|
|
|
|
|
Auto Reverting the Buffer Menu Auto-rétablissement du menu tampons omegat
|
|
|
|
|
non-file buffer tampon non-fichier omegat
|
|
|
|
|
file buffers tampons de fichier omegat
|
|
|
|
|
is non a une valeur autre que @code{nil} omegat
|
|
|
|
|
file notifications notifications de fichiers omegat
|
|
|
|
|
Using Emacs packaging system Utilisation du système de paquet d'Emacs omegat
|
|
|
|
|
The GNU Emacs Manual Manuel GNU Emacs omegat
|
|
|
|
|
rebinding réassocier omegat
|
|
|
|
|
invoke appeler omegat
|
2022-01-05 13:52:35 +01:00
|
|
|
tree arborescence
|
2022-03-15 02:42:14 +01:00
|
|
|
see @ref{ voir @ref{
|
|
|
|
|
see voir
|
2022-03-15 16:29:58 +01:00
|
|
|
@dfn{settings} @dfn{paramètres}
|
2022-03-15 16:36:35 +01:00
|
|
|
@dfn{user options} @dfn{options d'utilisateur}
|
2022-03-15 16:41:23 +01:00
|
|
|
@dfn{faces} @dfn{type de caractères}
|
|
|
|
|
Faces Types de caractères
|
2022-03-15 16:45:35 +01:00
|
|
|
customization buffer tampon de personnalisation
|
2022-03-15 16:57:04 +01:00
|
|
|
customization groups groupes de personnalisation
|
