private static void OnSectionPropertyChanged(object sender, EventArgs e) { s_File.InvalidateDirty(); }