public void rename_file(string newname) { m_name = newname; if (m_parent != null) //only null when a file is cloned and does not have a parent. { m_parent.set_dirty(); } }