diff --git a/omegat/project_save.tmx b/omegat/project_save.tmx index 055768ae..20831c1f 100644 --- a/omegat/project_save.tmx +++ b/omegat/project_save.tmx @@ -72373,6 +72373,14 @@ si nous continuons, Pour faire plus qu'insérer des caractères, vous devez savoir déplacer le point (@pxref{Point}). + + + To do so, set the variable @code{auto-revert-avoid-polling} to non-@code{nil}. + + + Pour ce faire, définissez la variable @code{auto-revert-avoid-polling} sur une valeur autre que @code{nil}. + + To do that, you must @dfn{set} the variable by activating the @samp{[State]} button and choosing @samp{Set for Current Session}.