get_encoding
Description:
The encoding is initially null.
After a successful file loading or saving operation, the encoding is non-%NULL.
Parameters:
| this |
a SourceFile. |
Returns:
|
the character encoding. |
The encoding is initially null.
After a successful file loading or saving operation, the encoding is non-%NULL.
| this |
a SourceFile. |
|
the character encoding. |