private void ProjectExplorer_NodeRename(object sender, NodeLabelRenameEventArgs e) { if (editorDictionary.ContainsKey(e.OldFile.ToLower())) { EditorForm editorForm = new EditorForm(); editorDictionary.TryGetValue(e.OldFile.ToLower(), out editorForm); CodeEditor codeEditor = (CodeEditor)editorForm; codeEditor.EditorFile = e.NewFile; if (codeEditor.IsUpdated) { codeEditor.TabText = Path.GetFileName(e.NewFile); } else { codeEditor.TabText = Path.GetFileName(e.NewFile + "*"); } editorDictionary.Remove(e.OldFile.ToLower()); editorDictionary.Add(e.NewFile.ToLower(), editorForm); } }
/// <summary> /// Focuses on a code editor. /// </summary> /// <param name="file">The file attached to the editor.</param> private void FocusCodeEditor(string file) { EditorForm editorForm = new EditorForm(); editorDictionary.TryGetValue(file, out editorForm); editorForm.Focus(); }