/// <summary> /// Changes the extension of the current file. /// </summary> /// <param name="extension">the new extension</param> /// <param name="isReadOnly">If the file should be reopened as readonly</param> /// <param name="isSharingEnabled">If the file should share read privileges.</param> public void ChangeExtension(string extension, bool isReadOnly, bool isSharingEnabled) { m_diskIo.ChangeExtension(extension, isReadOnly, isSharingEnabled); }