Translations:Std TextDocument/15/fr


 * : un nom de police fourni par le système, par exemple,.
 * : une taille de police en points, par exemple,.
 * : il est par défaut . S'il s'agit de, le texte ne peut pas être modifié tant que cette propriété n'est pas définie sur.
 * : il est par défaut . S'il est défini sur, il mettra en surbrillance le texte comme la console Python.