[]
Gets the file name associated with the current document (i.e. the document was either loaded from that file, or saved to it).
[Browsable(false)] public string DocumentFileName { get; }