Translations:Std TextDocument/15/en


 * : a font name, for example,.
 * : a font size in points, for example,.
 * : it defaults to . If set to the text cannot be edited.
 * : it defaults to . If set to, the text will be highlighted like the Python console.