private void refreshFileTabs() { if (allowFileRefresh) { clearFileTabs(); int left = 0; int top = fileListButton.Top; foreach (String file in editorController.OpenFiles) { EditorTaskbarFileButton fileButton = new EditorTaskbarFileButton(widget, file, left, top); fileButton.CurrentFile = currentFile == file; fileButton.ChangeFile += new Action <EditorTaskbarFileButton>(fileButton_ChangeFile); fileButton.Closed += new Action <EditorTaskbarFileButton>(fileButton_Closed); left += fileButton.Width; if (left > fileListButton.Left) { fileButton.Dispose(); break; } else { fileButtons.Add(fileButton); } } } }
void fileButton_Closed(EditorTaskbarFileButton obj) { editorController.closeFile(obj.File); if (obj.CurrentFile) { if (editorController.OpenFileCount == 0) { ViewHost.Context.runAction(closeAction, ViewHost); } else { editorController.openEditor(editorController.OpenFiles.First()); } } else { refreshFileTabs(); } }
void fileButton_ChangeFile(EditorTaskbarFileButton obj) { editorController.openEditor(obj.File); }