From 235811b3c8d862c61714599ab7791790f6e3dc18 Mon Sep 17 00:00:00 2001 From: Lilian Date: Tue, 19 Apr 2022 10:34:08 +0200 Subject: [PATCH] Translated by Lilian --- omegat/project_save.tmx | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/omegat/project_save.tmx b/omegat/project_save.tmx index 162809f..8a438d9 100644 --- a/omegat/project_save.tmx +++ b/omegat/project_save.tmx @@ -32595,6 +32595,14 @@ arguments est à virgule flottante, la valeur est retournée à virgule flottante, même si elle était donnée comme nombre entier. + + + If any of the marked files are directories, then this command searches all of the files in those directories, and any of their subdirectories, recursively, except files whose names match @code{grep-find-ignored-files} and subdirectories whose names match @code{grep-find-ignored-directories}. + + + Si parmi ces fichiers marqués se trouvent des répertoires, la commande recherche par la suite tous les fichiers dans ces répertoires, et récursivement chacun de leur sous-répertoire, sauf les fichiers dont les noms correspondent à @code{grep-find-ignored-files} et les sous-répertoires dont les noms correspondent à @code{grep-find-ignored-directories}. + + If any of this yields problems, you can easily correct the situation using @kbd{C-u i} or @kbd{C-u l}. @@ -76963,6 +76971,22 @@ plus tard. grep-find-ignored-directories + + + grep-find-ignored-directories @r{(Dired)} + + + grep-find-ignored-directories @r{(Dired)} + + + + + grep-find-ignored-files @r{(Dired)} + + + grep-find-ignored-files @r{(Dired)} + + grep-find-toggle-abbreviation