/// <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_disk.ChangeExtension(extension, isReadOnly, isSharingEnabled);
}
