diff --git a/omegat/project_save.tmx b/omegat/project_save.tmx index aa4ec99f..a5455c85 100644 --- a/omegat/project_save.tmx +++ b/omegat/project_save.tmx @@ -12758,6 +12758,14 @@ key binding = raccourci clavier... @xref{Sexp Entrées de journal}. + + + @xref{Single Shell}, for information about running shell commands outside Dired. + + + @xref{Shell unique}, pour + + @xref{Specific Customization}. @@ -64369,8 +64377,8 @@ si nous continuons, Updating: Dired Updating - - Mise à jour : mettre à jour Dired + + Mise à jour : Actualisation dans Dired @@ -64501,6 +64509,14 @@ si nous continuons, Utilisez une décimale dans les valeurs de @code{calendar-latitude} et @code{calendar-longitude}. + + + Use the @kbd{g} command to update the Dired buffer (@pxref{Dired Updating}). + + + Utilisez la commande @kbd{g} pour mettre à jour le tampon Dired (@pxref{Actualisation dans Dired}). + + Use the @samp{-ib @var{n}} option to specify an internal border @var{n} pixels wide.